Document JDK 7 requirement, fixes #75