eclipse-set-workspace