85 return instance; |
85 return instance; |
86 } |
86 } |
87 |
87 |
88 public final String name; |
88 public final String name; |
89 |
89 |
90 private static Map<String,Source> tab = new HashMap<String,Source>(); |
90 private static final Map<String,Source> tab = new HashMap<String,Source>(); |
91 static { |
91 static { |
92 for (Source s : values()) { |
92 for (Source s : values()) { |
93 tab.put(s.name, s); |
93 tab.put(s.name, s); |
94 } |
94 } |
95 tab.put("5", JDK1_5); // Make 5 an alias for 1.5 |
95 tab.put("5", JDK1_5); // Make 5 an alias for 1.5 |