- final String javaBin = System.getProperty("java.home") + File.separator
- + "bin" + File.separator + "java";
+ if (!LaunchUtils.checkJavaVersion())
+ {
+ System.err.println("WARNING - The Java version being used (Java "
+ + LaunchUtils.getJavaVersion()
+ + ") may lead to problems. This installation of Jalview should be used with Java "
+ + LaunchUtils.getJavaCompileVersion() + ".");
+ }
+ final String appName = ChannelProperties.getProperty("app_name");
+ final String javaBinDir = System.getProperty("java.home")
+ + File.separator + "bin" + File.separator;
+ String javaBin = null;
+ for (String name : new String[] { appName, "Jalview", "java",
+ "java.exe" })
+ {
+ if (checkJVMSymlink(javaBinDir + name))
+ {
+ javaBin = javaBinDir + name;
+ break;
+ }
+ }
+ if (javaBin == null)
+ {
+ javaBin = "java";
+ }