tweaked formatting
Updater updated
Eclipse project now requires JDK 7 instead of JRE by default. Updates
can now work even if updater package or class name is changed by
changing the file contents of update/update_class.