Minor tweak for eclipse plugin.