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