java profile updated to include standard oracle java 7 on linux.
# special settings for win32 and svn.
if [ "$OS" == "Windows_NT" ]; then
export EDITOR=$(which gvim)
+else
+ export EDITOR=$(which vi)
fi
# this hideous mess is necessitated by our not having found the source of the
# first try a recent linux version.
export JAVA_HOME=/usr/lib/jvm/java-6-sun/jre
fi
+if [ ! -d "$JAVA_HOME" ]; then
+ export JAVA_HOME=/usr/lib/jvm/java-7-oracle/jre
+fi
if [ ! -d "$JAVA_HOME" ]; then
# try using a windows version.
#note: this logic is untested.