git.eclipse.org / dltk / org.eclipse.dltk.core / 5142307773df066dc7e942b8f522c9d4cbb18554 / core / plugins / org.eclipse.dltk.logconsole.ui / .project