Managing the Eclipse workspace