Methods Summary |
---|
public static java.lang.String | getBuildNumber()
return buildNumber;
|
public static int | getJDKVersion()INTERNAL:
return the JDK version we are using.
if (JDK_VERSION == JDK_VERSION_NOT_SET) {
String version = System.getProperty("java.version");
if ((version != null) && version.startsWith("1.5")) {
useJDK15();
} else if ((version != null) && version.startsWith("1.4")) {
useJDK14();
} else {
useJDK13();
}
}
return JDK_VERSION;
|
public static java.lang.String | getProduct()
return product;
|
public static java.lang.String | getVersion()
return version;
|
public static boolean | isJDK13()
return getJDKVersion() == JDK_1_3;
|
public static boolean | isJDK14()
return getJDKVersion() == JDK_1_4;
|
public static boolean | isJDK15()
return getJDKVersion() == JDK_1_5;
|
public static void | setProduct(java.lang.String ProductName)
product = ProductName;
|
public static void | useJDK13()
JDK_VERSION = JDK_1_3;
|
public static void | useJDK14()
JDK_VERSION = JDK_1_4;
|
public static void | useJDK15()
JDK_VERSION = JDK_1_5;
|