Document that this only works on JDK 1.7+