Fixed new version checker to work under linux

 * Simplified getJavaVersion()
   Returns JavaInfo object
 * LaunchFrame.java and OptionsPane.java:
   Use JavaInfo's getMajor and getMinor instead of unnamed array
 * JavaInfo.java and JavaFinder.java: minor edits
Merge pull request #707 from jikuja/fix_linux

Fixed new version checker to work under linux