src/com/sun/javatest/exec/MultiFormatPane.java

*** 79,89 ****
          this.uif = uif;
  
          listener = new Listener();
          initGUI();
  
!         modesToPanes = new HashMap();
  
          addMediaPane(TEXT, textPane);
          addMediaPane(AUDIO, musicPane);
          addMediaPane(IMAGE, imagePane);
          addMediaPane(ERROR, errorPane);
--- 79,89 ----
          this.uif = uif;
  
          listener = new Listener();
          initGUI();
  
!         modesToPanes = new HashMap<>();
  
          addMediaPane(TEXT, textPane);
          addMediaPane(AUDIO, musicPane);
          addMediaPane(IMAGE, imagePane);
          addMediaPane(ERROR, errorPane);
*** 556,566 ****
      private Listener listener;
  
      private JTextField noteField;
      private NavigationPane navPane;
  
!     private HashMap modesToPanes;
  }
  
  
  class TextPane extends JEditorPane implements MultiFormatPane.MediaPane {
  
--- 556,566 ----
      private Listener listener;
  
      private JTextField noteField;
      private NavigationPane navPane;
  
!     private HashMap<Integer, MediaPane> modesToPanes;
  }
  
  
  class TextPane extends JEditorPane implements MultiFormatPane.MediaPane {
  
*** 716,728 ****
      private HTMLEditorKit htmlKit;
      private DefaultEditorKit defaultKit;
      private RTFEditorKit rtfKit;
  
  
!     private static HashMap extensionsToMIME;
      static {
!         extensionsToMIME = new HashMap();
          extensionsToMIME.put("html", "text/html");
          extensionsToMIME.put("htm", "text/html");
          extensionsToMIME.put("htmls", "text/html");
          extensionsToMIME.put("htx", "text/html");
          extensionsToMIME.put("shtml", "text/html");
--- 716,728 ----
      private HTMLEditorKit htmlKit;
      private DefaultEditorKit defaultKit;
      private RTFEditorKit rtfKit;
  
  
!     private static HashMap<String, String> extensionsToMIME;
      static {
!         extensionsToMIME = new HashMap<>();
          extensionsToMIME.put("html", "text/html");
          extensionsToMIME.put("htm", "text/html");
          extensionsToMIME.put("htmls", "text/html");
          extensionsToMIME.put("htx", "text/html");
          extensionsToMIME.put("shtml", "text/html");