PR #7: Update to jdk7