docs: void printSwitches() {
  
          System.out.println("Used labels:");
  
          for (int i = 0; i < vSwitches.size(); i++) {
              System.out.println((String) (vSwitches.elementAt(i)));
          }
      }