fix java 7 building