Hardy Ferentschik:

If the integration issues with Eclipse get resolved (JBIDE-22604) and vagrant-sshfs gets enabled per default to mount the user's home directory into the guest VM, this needs to be reflected in the documentation as well:

• Basic explanation of the feature (already done in intro to Vagrant)
• Example for usage with Docker and Docker volume mounts
• Example of usage with Openshift and hostpath mount