--- old/src/share/classes/com/sun/jdi/event/ThreadStartEvent.java 2013-02-21 17:45:46.432650754 +0000 +++ new/src/share/classes/com/sun/jdi/event/ThreadStartEvent.java 2013-02-21 17:45:46.140650761 +0000 @@ -52,6 +52,7 @@ * @author Robert Field * @since 1.3 */ +@jdk.Supported public interface ThreadStartEvent extends Event { /** * Returns the thread which has started.