code: private String consJobName(String opName, String... args) {
  		StringBuilder b = new StringBuilder();
  		b.append(opName + "(");
  		for(int i = 0; i < args.length; i++) {
  			if(i > 0) b.append(", ");
  			b.append(args[i]);
  		}
  		b.append(")");
  		return b.toString();
  	}
docs: ///////////////////////////////////////////////////////////