1 2 3
/.SolverLanguageQuickfixProvider.java._trace /.SolverLanguageQuickfixProvider.xtendbin /SolverLanguageQuickfixProvider.java