docker-images org.eclipse.xtext.ui.shared.xtextBuilder org.python.pydev.PyDevBuilder org.python.pydev.pythonNature org.eclipse.xtext.ui.shared.xtextNature