export default interface Lidded { close(): void; open(): void; } export default class Lidded { static get $javaClass(): any; }