Fix Java7'ism.