declare namespace javax { namespace servlet { class ServletSecurityElement extends javax.servlet.HttpConstraintElement { public constructor() public constructor(arg0: javax.servlet.HttpConstraintElement) public constructor(arg0: java.util.Collection) public constructor(arg0: javax.servlet.HttpConstraintElement, arg1: java.util.Collection) public constructor(arg0: javax.servlet.annotation.ServletSecurity) public getHttpMethodConstraints(): java.util.Collection public getMethodNames(): java.util.Collection public static class: java.lang.Class } } }