DoubleLabelNoBraces_after.java

class DoubleLabelNoBraces {

  void m(int i) {
    while (i > 1)
      while (i < 10) {
          int j = 0;
          a: b: c:
          while (j < 10) {
              j++;
          }
      }

  }
}