Utilities for succinct java.