hanks/Refresh_this_project_plugin_for_eclipse — pull request #5 by PaulVI (2014-02-28 06:36:58+00:00)
Title: put menu item in File menu,

where Refresh F5 is.