#5 Save All

[Nikolay Metchev]

It would be nice before relaunching the web application for
eclipse to save all unsaved editors (therefore rebuilding all
the new code provided that that option is enabled).