4.0.0 org.eclipse.linuxtools.vagrant org.eclipse.linuxtools 4.0.0-SNAPSHOT org.eclipse.linuxtools.vagrant.docs 2.0.0-SNAPSHOT eclipse-plugin Linux Tools Vagrant Tooling Documentation Plug-in regenHelp maven-antrun-plugin helpdocs generate-resources