class A() extends java.lang.Object() with java.util.Random() { }