General Java utility libraries.