Method usage

src/tools/UidManager.java:55–57

Prints usage.

(final String errmsg)

  /** Prints usage. */
  static void usage(final String errmsg) {
    usage(null, errmsg);
  }

  /** Prints usage. */
  static void usage(final ArgP argp, final String errmsg) {