--- old/src/com/sun/javatest/exec/TP_OutputSubpanel.java	2018-06-19 01:10:07.000000000 +0100
+++ new/src/com/sun/javatest/exec/TP_OutputSubpanel.java	2018-06-19 01:10:07.000000000 +0100
@@ -94,7 +94,7 @@
     private void initGUI() {
         setLayout(new BorderLayout());
 
-        tocEntries = new DefaultListModel();
+        tocEntries = new DefaultListModel<>();
         toc = uif.createList("test.out.toc", tocEntries);
         toc.setCellRenderer(new TOCRenderer());
         toc.setSelectionMode(ListSelectionModel.SINGLE_SELECTION);
@@ -644,7 +644,7 @@
 
     private JEditorPane htmlArea;
 
-    private DefaultListModel tocEntries;
+    private DefaultListModel<TOCEntry> tocEntries;
     private Listener listener = new Listener();
     private TRObserver observer = new TRObserver();