jdk/src/java.base/share/classes/jdk/Version.java
changeset 37781 71ed5645f17c
parent 37593 824750ada3d6
equal deleted inserted replaced
37780:06f3783b338f 37781:71ed5645f17c
   271      *
   271      *
   272      * @return  {@code System.getProperty("java.version")} as a Version
   272      * @return  {@code System.getProperty("java.version")} as a Version
   273      */
   273      */
   274     public static Version current() {
   274     public static Version current() {
   275         if (current == null) {
   275         if (current == null) {
   276             current = parse(GetPropertyAction.getProperty("java.version"));
   276             current = parse(
       
   277                     GetPropertyAction.privilegedGetProperty("java.version"));
   277         }
   278         }
   278         return current;
   279         return current;
   279     }
   280     }
   280 
   281 
   281     /**
   282     /**