equal
deleted
inserted
replaced
58 JDK1_7("1.7", 51, 0), |
58 JDK1_7("1.7", 51, 0), |
59 |
59 |
60 /** JDK 8. */ |
60 /** JDK 8. */ |
61 JDK1_8("1.8", 52, 0), |
61 JDK1_8("1.8", 52, 0), |
62 |
62 |
63 /** JDK 9, initially an alias for 8. */ |
63 /** JDK 9. */ |
64 JDK1_9("1.9", 52, 0); |
64 JDK1_9("1.9", 53, 0); |
65 |
65 |
66 private static final Context.Key<Target> targetKey = new Context.Key<>(); |
66 private static final Context.Key<Target> targetKey = new Context.Key<>(); |
67 |
67 |
68 public static Target instance(Context context) { |
68 public static Target instance(Context context) { |
69 Target instance = context.get(targetKey); |
69 Target instance = context.get(targetKey); |