Eclipse: Workspace Project Settings Configuration Location