--- old/src/share/classes/com/sun/jdi/event/VMDisconnectEvent.java	2013-02-21 17:45:47.860650721 +0000
+++ new/src/share/classes/com/sun/jdi/event/VMDisconnectEvent.java	2013-02-21 17:45:47.568650728 +0000
@@ -52,5 +52,6 @@
  * @author Robert Field
  * @since  1.3
  */
+@jdk.Supported
 public interface VMDisconnectEvent extends Event {
 }