ref https://github.com/colorer/EclipseColorer/issues/7