Minor tweaks for eclipse plugin.