Support building under Java 7