Fix compatibility with Release Eclipse builds

I placed @Override for the verfiyKeyListener, which does not work with the 1.5 JRE (which seems to be what Eclipse runs with by default). That breaks the toplevel.

(Sorry -- it seems like the pull request doesn't seem to be exactly displaying correctly in GitHub's UI)