278 if (targetString == null && !source.allowGenerics()) { |
278 if (targetString == null && !source.allowGenerics()) { |
279 target = Target.JDK1_4; |
279 target = Target.JDK1_4; |
280 options.put("-target", target.name); |
280 options.put("-target", target.name); |
281 } |
281 } |
282 } |
282 } |
|
283 } |
|
284 |
|
285 // phase this out with JSR 292 PFD |
|
286 if ("no".equals(options.get("allowTransitionalJSR292"))) { |
|
287 options.put("allowTransitionalJSR292", null); |
|
288 } else if (target.hasInvokedynamic() && options.get("allowTransitionalJSR292") == null) { |
|
289 options.put("allowTransitionalJSR292", "allowTransitionalJSR292"); |
283 } |
290 } |
284 |
291 |
285 // handle this here so it works even if no other options given |
292 // handle this here so it works even if no other options given |
286 String showClass = options.get("showClass"); |
293 String showClass = options.get("showClass"); |
287 if (showClass != null) { |
294 if (showClass != null) { |