21b147f7ca ^
efd06d74f1 ^
1
2
3 4 5 6
// martin 1-3-2002: it seems there is a problem with the way Serializable is loaded. object test { def f() = "hello".concat("world"); }