185186187188189190191192193194195
/* */ /* */ public MimetypesFileTypeMap(InputStream is) /* */ { /* 264 */ this(); /* */ try { /* 266 */ this.DB[0] = new MimeTypeFile(is); /* */ } /* */ catch (IOException ex) /* */ { /* */ } /* */ }
195196197198199200201202203
/* */ } /* */ /* */ public synchronized void addMimeTypes(String mime_types) /* */ { /* 279 */ if (this.DB[0] == null) { /* 280 */ this.DB[0] = new MimeTypeFile(); /* */ } /* 282 */ this.DB[0].appendToRegistry(mime_types); /* */ }