fix java 1.6 compilation error