diagnostics

Author: mossmana

tool/github.sh

@@ -27,8 +27,10 @@ if [ "$IDEA_VERSION" = "4.0" -o "$IDEA_VERSION" = "4.1" ] ; then
 
 fi
 
-echo "Installed versions of java:"
-/usr/libexec/java_home -V
+echo "ls /user/lib/jvm"
+ls /user/lib/jvm
+echo "ls /Library/Java"
+ls /Library/Java
 echo "java --version"
 java --version
 

tool/kokoro/setup.sh

@@ -12,8 +12,6 @@ setup() {
   # Set to 0 to use the system java, 1 to download/install a different version of java
   export USE_CUSTOM_JAVA=0
 
-  echo "Installed versions of java:"
-  /usr/libexec/java_home -V
   echo "System Java version:"
   java --version
   # JAVA_HOME_OLD is used by runner.dart