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             }

   286         }

   283         }

   287 

   284 

   288         // handle this here so it works even if no other options given

   285         // handle this here so it works even if no other options given

   289         String showClass = options.get("showClass");

   286         String showClass = options.get("showClass");

   290         if (showClass != null) {

   287         if (showClass != null) {