jbosstools/jbosstools-server — pull request #248 by robstryker (2014-07-10 11:12:11+00:00)
Title:  JBIDE-17843 - agent jar has wrong java version

Removed @Override tags and rebuilt agent jar using java5 compiler compliance.