private static void testGetFormats() {
   List<String> list = CONTROL.getFormats("foo");
   if (list != CONTROL.FORMAT_DEFAULT) {
     error("getFormats returned " + list);
   }
   try {
     list = CONTROL.getFormats(null);
     error("getFormats doesn't throw NPE.");
   } catch (NullPointerException e) {
   }
 }