class RandomJavaClass extends Ctor { RandomJavaClass() { super(42); } }