constructor(other: JavaClass!)
