--- a/jdk/src/share/classes/com/sun/jdi/InterfaceType.java	Wed Oct 09 00:10:02 2013 +0100
+++ b/jdk/src/share/classes/com/sun/jdi/InterfaceType.java	Wed Oct 09 09:20:12 2013 +0100
@@ -43,6 +43,7 @@
  * @author James McIlree
  * @since  1.3
  */
+@jdk.Exported
 public interface InterfaceType extends ReferenceType {
     /**
      * Gets the interfaces directly extended by this interface.