code: public static Label[] newLabels(int cnt) {
  		Label[] r = new Label[cnt];
  		for (int i = 0; i < cnt; i++)
  			r[i] = new Label();
  		return r;
  	}
docs: return a array of new Label (used for switch/case generation)
  
  @param cnt
  number of label to return