285:4ce1c1400334 | 286:79eb8795a1de |
---|---|
93 | 93 |
94 private Source(String name) { | 94 private Source(String name) { |
95 this.name = name; | 95 this.name = name; |
96 } | 96 } |
97 | 97 |
98 public static final Source DEFAULT = JDK1_5; | 98 public static final Source DEFAULT = JDK1_7; |
99 | 99 |
100 public static Source lookup(String name) { | 100 public static Source lookup(String name) { |
101 return tab.get(name); | 101 return tab.get(name); |
102 } | 102 } |
103 | 103 |