static String getEditorKitClassNameForContentType(String type) { return "text/plain";  }
public static String getEditorKitClassNameForContentType(String type) { return "text/plain"; }
  static String getEditorKitClassNameForContentType(String type)    { return "text/plain";  }