Fix some deprecation warnings. [1770]

Another nice addition to Java 7+ is the addition of Swing widgets (like
JList) that use generics.

Also, this is commit 5300! w00t!
Missed a warning. [1770]