Bugfix in eclipse plugin.
More bugfix.
Plugin auto-update fix.