}
for (int i = 0; i < mime_strings.length; i++) mime_types.put(mime_strings[i][0], mime_strings[i][1]);    try {  String file = SystemProperties.getProperty("gnu.classpath.mime.types.file"); if (file != null) fillFromFile(mime_types, file); } catch (IOException ignore) { } }
  public MimeTypeMapper()  {    // Do nothing here.	}