| changeset 2982 | 090c71af18f6 |
| parent 10 | 06bc494ca11e |
| child 3149 | 0cd06d598d6f |
| 2981:76ea6ddc4f72 | 2982:090c71af18f6 |
|---|---|
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 |