Java editor eclipse plug-in