@@ -76,10 +76,11 @@ * @see java.security.PermissionCollection * @see java.lang.SecurityManager * */ +@jdk.Supported public final class JDIPermission extends java.security.BasicPermission { private static final long serialVersionUID = -6988461416938786271L; /** * The <code>JDIPermission</code> class represents access rights to the * <code>VirtualMachineManager</code>