Timon Gehr:
Even if it's not a big problem, in the end this problem is now "solved",because all new languages (Scala,scala> val s : String = null; s: String = null scala> s(0) java.lang.NullPointerException
Thank you. Are nulls used in Scala outside the strict needs of interacting with Java libraries?
Bye, bearophile