org.eclipse.platform org.eclipse.text 3.8.0 3.8.0 3.6.0 3.6.100 3.6.300 3.7.0 3.8.0 20181219203211