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