langtools/src/share/classes/javax/lang/model/SourceVersion.java
changeset 22159 682da512ec17
parent 18660 d8332e6f4fab
child 22163 3651128c74eb
--- a/langtools/src/share/classes/javax/lang/model/SourceVersion.java	Tue Dec 17 19:27:49 2013 -0500
+++ b/langtools/src/share/classes/javax/lang/model/SourceVersion.java	Wed Dec 18 10:29:25 2013 -0500
@@ -158,12 +158,14 @@
         try {
             String specVersion = System.getProperty("java.specification.version");
 
-            if ("1.8".equals(specVersion))
-                return RELEASE_8;
-            else if("1.7".equals(specVersion))
-                return RELEASE_7;
-            else if("1.6".equals(specVersion))
-                return RELEASE_6;
+            switch (specVersion) {
+                case "1.8":
+                    return RELEASE_8;
+                case "1.7":
+                    return RELEASE_7;
+                case "1.6":
+                    return RELEASE_6;
+            }
         } catch (SecurityException se) {}
 
         return RELEASE_5;