--- old/src/share/classes/com/sun/tools/hat/internal/server/FinalizerSummaryQuery.java	2014-07-31 10:51:19.000000000 -0700
+++ new/src/share/classes/com/sun/tools/hat/internal/server/FinalizerSummaryQuery.java	2014-07-31 10:51:19.000000000 -0700
@@ -37,7 +37,7 @@
 
 public class FinalizerSummaryQuery extends QueryHandler {
     public void run() {
-        Enumeration objs = snapshot.getFinalizerObjects();
+        Enumeration<?> objs = snapshot.getFinalizerObjects();
         startHtml("Finalizer Summary");
 
         out.println("<p align='center'>");
@@ -74,7 +74,7 @@
         private long count;
     }
 
-    private void printFinalizerSummary(Enumeration objs) {
+    private void printFinalizerSummary(Enumeration<?> objs) {
         int count = 0;
         Map<JavaClass, HistogramElement> map = new HashMap<JavaClass, HistogramElement>();