Extensions over java.lang.*;