mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git

Chris Ridd
20.19.2015 e9d8e51279f417f2f4948210b1cd1484cadf0bda
opendj-server-legacy/src/main/java/org/opends/server/tools/JavaPropertiesTool.java
@@ -156,7 +156,7 @@
   * @return The error code.
   */
  public static int mainCLI(String[] args)
  public static int mainCLI(String... args)
  {
    return mainCLI(args, System.out, System.err, System.in);
  }