Additions to java.lang