declare namespace javax {
    namespace servlet {
        interface ServletRegistration extends javax.servlet.Registration {
            addMapping(...arg0: java.lang.String[]): java.util.Set<java.lang.String>
            getMappings(): java.util.Collection<java.lang.String>
            getRunAsRole(): string
        }
    }
}