()
| 490 | } |
| 491 | |
| 492 | private static boolean javaMode() { |
| 493 | if (instance==null) |
| 494 | return false; |
| 495 | String m = instance.mode.getSelectedItem(); |
| 496 | return m.equals(modes[BEANSHELL]) || m.equals(modes[JAVA]); |
| 497 | } |
| 498 | |
| 499 | public static void recordOption(String key, String value) { |
| 500 | if (key==null) return; |
no test coverage detected