Searched refs:jvm_micro_version (Results 1 – 1 of 1) sorted by relevance
49 private static int jvm_micro_version = 0; field in Version155 return jvm_micro_version; in jvmMicroVersion()281 jvm_micro_version = Character.digit(cs.charAt(4), 10); in initVersions()