case "quickfix": Quickfix quickfix = handlerManager.processElement(child); hint.withQuickfix(quickfix); break;
case "quickfix": Quickfix quickfix = handlerManager.processElement(child); hint.withQuickfix(quickfix); break;
case "quickfix": Quickfix quickfix = handlerManager.processElement(child); hint.withQuickfix(quickfix); break;
case "quickfix": Quickfix quickfix = handlerManager.processElement(child); hint.withQuickfix(quickfix); break;