isLinux = osname.startsWith("Linux");
String version = System.getProperty("java.version").substring(0,3);
if (version.compareTo("2.9")<=0) {  // JVM on Sharp Zaurus PDA claims to be "3.1"!
isJava16 = version.compareTo("1.5")>0;
isJava17 = version.compareTo("1.6")>0;
<BUG>isJava18 = version.compareTo("1.7")>0;
}</BUG>
dfs = new DecimalFormatSymbols(Locale.US);
df = new DecimalFormat[10];
df[0] = new DecimalFormat("0", dfs);

isLinux = osname.startsWith("Linux");
String version = System.getProperty("java.version").substring(0,3);
if (version.compareTo("2.9")<=0) {  // JVM on Sharp Zaurus PDA claims to be "3.1"!
isJava16 = version.compareTo("1.5")>0;
isJava17 = version.compareTo("1.6")>0;
isJava18 = version.compareTo("1.7")>0;
isJava19 = version.compareTo("1.8")>0;
}
dfs = new DecimalFormatSymbols(Locale.US);
df = new DecimalFormat[10];
df[0] = new DecimalFormat("0", dfs);
