My take on Eclipse preferences management using Workspace Mechanic plugin