Name mangling deviation

[DarkDimius]

affects run test Course-2002-04-run.log

java.lang.ClassNotFoundException: scala.math.Numeric$$IntIsIntegral$

Actual class has name scala.math.Numeric$IntIsIntegral.class, ie one $ instead of two.