Found a fix to my problem. The target Java version was wrong. In the build.xml
file, there were the following lines:
<property name="target" value="1.5" />
<property name="source" value="1.5" />
Changed those to 1.7
, and voila! This seems to have been a Swing bug that has been fixed in the newer versions of Java.