Eclipse use

I changed my eclipsed workspace to use this folder. No actual change has
happened.