--- a/jdk/src/share/classes/java/nio/channels/spi/AbstractSelector.java	Thu Jul 24 12:40:30 2008 +0100
+++ b/jdk/src/share/classes/java/nio/channels/spi/AbstractSelector.java	Thu Jul 24 12:46:41 2008 +0100
@@ -82,7 +82,7 @@
         this.provider = provider;
     }
 
-    private final Set cancelledKeys = new HashSet();
+    private final Set<SelectionKey> cancelledKeys = new HashSet<SelectionKey>();
 
     void cancel(SelectionKey k) {                       // package-private
         synchronized (cancelledKeys) {