import java.lang.management.ManagementFactory;
import java.util.ArrayList;
import java.util.List;
+import java.util.Locale;
import jalview.util.ChannelProperties;
import jalview.util.LaunchUtils;
*/
public static void main(String[] args)
{
+ 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 javaBin = System.getProperty("java.home") + File.separator
+ "bin" + File.separator + "java";
process.waitFor();
} catch (IOException e)
{
- if (e.getMessage().toLowerCase().contains("memory"))
+ if (e.getMessage().toLowerCase(Locale.ROOT).contains("memory"))
{
System.out.println("Caught a memory exception: " + e.getMessage());
// Probably the "Cannot allocate memory" error, try without the memory