/.SolverLanguageOutlineTreeProvider.java._trace
/.SolverLanguageOutlineTreeProvider.xtendbin
/SolverLanguageOutlineTreeProvider.java