Fix compilation, no in java 7 in dctc