Tiny bug fix showing up in Class.getName().
Added some methods in java.lang.String.