fix error with java < 7