declare namespace org {
    namespace eclipse {
        namespace jetty {
            namespace util {
                namespace resource {
                    class BadResource extends org.eclipse.jetty.util.resource.URLResource {
                        public exists(): boolean
                        public lastModified(): long
                        public isDirectory(): boolean
                        public length(): long
                        public getFile(): java.io.File
                        public getInputStream(): java.io.InputStream
                        public delete(): boolean
                        public renameTo(arg0: org.eclipse.jetty.util.resource.Resource): boolean
                        public list(): java.lang.String[]
                        public copyTo(arg0: java.io.File): void
                        public toString(): string
                        public static class: java.lang.Class<any>
                    }
                }
            }
        }
    }
}