Raise minimum supported Java version to 7

Changes to keyboard handling require methods from the KeyEvent
class that were not introduced until Java 7.
2 files changed