}
}
protected Case findMaxCase(SwitchIntermediate line) {
TreeSet<Case> cases = new TreeSet<Case>(new CaseComparator());
if(line.getCases()!=null) {
cases.addAll(line.getCases());
}
if(line.getDefaultCase() != null) {
cases.add(line.getDefaultCase());