Several minor changes.

* Update to java 1.7
* Require eclipse 3.6 and fix deprecated ILaunchManager#generateUniqueLaunchConfigurationNameFrom() usage
* Fix some warnings about missing generics
* Use try-with-resources in LaunchTopCoderAppletJob#download()