--- old/src/share/classes/com/sun/jdi/request/ExceptionRequest.java	2013-02-21 17:45:55.028650557 +0000
+++ new/src/share/classes/com/sun/jdi/request/ExceptionRequest.java	2013-02-21 17:45:54.736650563 +0000
@@ -43,6 +43,7 @@
  * @author Robert Field
  * @since  1.3
  */
+@jdk.Supported
 public interface ExceptionRequest extends EventRequest {
 
     /**