declare namespace org {
    namespace eclipse {
        namespace jetty {
            namespace servlet {
                class ServletMapping {
                    public constructor()
                    public getPathSpecs(): java.lang.String[]
                    public getServletName(): string
                    public setPathSpecs(arg0: java.lang.String[]): void
                    public containsPathSpec(arg0: java.lang.String | string): boolean
                    public setPathSpec(arg0: java.lang.String | string): void
                    public setServletName(arg0: java.lang.String | string): void
                    public isDefault(): boolean
                    public setDefault(arg0: boolean): void
                    public toString(): string
                    public dump(arg0: java.lang.Appendable, arg1: java.lang.String | string): void
                    public static class: java.lang.Class<any>
                }
            }
        }
    }
}