main.mk: fix build for OpenJDK 7