Eclipse plugin for preferences transfer