/.SolverLanguageQuickfixProvider.java._trace
/.SolverLanguageQuickfixProvider.xtendbin
/SolverLanguageQuickfixProvider.java