--- old/src/share/classes/com/sun/jdi/event/EventIterator.java	2013-02-21 17:45:36.400650985 +0000
+++ new/src/share/classes/com/sun/jdi/event/EventIterator.java	2013-02-21 17:45:36.108650992 +0000
@@ -40,6 +40,7 @@
  * @since  1.3
  */
 
+@jdk.Supported
 public interface EventIterator extends Iterator<Event> {
 
     /**