/.SolverSemanticHighlightCalculator.java._trace
/.SolverSemanticHighlightCalculator.xtendbin
/.SolverSemanticTextAttributeProvider.java._trace
/.SolverSemanticTextAttributeProvider.xtendbin
/SolverSemanticHighlightCalculator.java
/SolverSemanticTextAttributeProvider.java