nbros/OcaIDE — pull request #13 by lowjoel (2014-02-04 03:34:01+00:00)
Title: 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)