make it compile in OpenJDK 7 (?)