4.0.0 org.eclipse.dltk.sh parent 5.10.0-SNAPSHOT ../.. org.eclipse.dltk.sh.core eclipse-plugin ShellEd Core plugin