Parts of java.util ported to JavaScript intended to speed up porting Java to JavaScript