(Possibly) useful utilities for Java 7 and 8.