equal
deleted
inserted
replaced
68 |
68 |
69 /** JDK 11. */ |
69 /** JDK 11. */ |
70 JDK1_11("11", 55, 0), |
70 JDK1_11("11", 55, 0), |
71 |
71 |
72 /** JDK 12. */ |
72 /** JDK 12. */ |
73 JDK1_12("12", 56, 0); |
73 JDK1_12("12", 56, 0), |
|
74 |
|
75 /** JDK 13. */ |
|
76 JDK1_13("13", 57, 0); |
74 |
77 |
75 private static final Context.Key<Target> targetKey = new Context.Key<>(); |
78 private static final Context.Key<Target> targetKey = new Context.Key<>(); |
76 |
79 |
77 public static Target instance(Context context) { |
80 public static Target instance(Context context) { |
78 Target instance = context.get(targetKey); |
81 Target instance = context.get(targetKey); |