declare namespace org {
    namespace eclipse {
        namespace jetty {
            namespace websocket {
                namespace api {
                    namespace annotations {
                        interface WebSocket extends java.lang.annotation.Annotation {
                            inputBufferSize(): int
                            maxBinaryMessageSize(): int
                            maxIdleTime(): int
                            maxTextMessageSize(): int
                            batchMode(): org.eclipse.jetty.websocket.api.BatchMode
                        }
                    }
                }
            }
        }
    }
}