if (versions == null)
{
versions = new Hashtable();
- versions.put("45.3", "1.0");
+ versions.put("45.3", "1.0.2");
versions.put("45.3", "1.1");
versions.put("46.0", "1.2");
versions.put("47.0", "1.3");
versions.put("50.0", "1.6");
versions.put("51.0", "1.7");
versions.put("52.0", "1.8");
+ versions.put("53.0", "9");
+ versions.put("54.0", "10");
+ versions.put("55.0", "11");
}
String version = (String) versions.get(major + "." + minor);