4.0.0 org.eclipse.linuxtools.man linuxtools-man-parent 6.0.0-SNAPSHOT org.eclipse.linuxtools.man.help 1.1.0-SNAPSHOT eclipse-plugin Linux Tools Man Help Center Integration Plug-in