c75bafbbbc ^
6ffa9f1636 ^
1
2 3 4
michel2.scala:1: Java class may not be used as mixin class A() extends java.lang.Object() with java.util.Random() { } ^ one error found