fix java 7 compilation issue