remove obsolete config value from eclipse plugin.