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

Jean-Noel Rouvignac
20.15.2014 28dd8d1f95eecc080556d3986e02a8c7792d5cd2
opendj-cli/src/main/java/com/forgerock/opendj/cli/CommandBuilder.java
@@ -49,7 +49,7 @@
    /**
     * The separator used to link the lines of the resulting command-lines.
     */
    public final static String LINE_SEPARATOR;
    public static final String LINE_SEPARATOR;
    static {
        if (OperatingSystem.isWindows()) {
            LINE_SEPARATOR = " ";
@@ -61,7 +61,7 @@
    /**
     * The separator used to link the lines of the resulting command-lines in HTML format.
     */
    public final static String HTML_LINE_SEPARATOR;
    public static final String HTML_LINE_SEPARATOR;
    static {
        if (OperatingSystem.isWindows()) {
            HTML_LINE_SEPARATOR = " ";
@@ -239,7 +239,7 @@
    }
    /** Chars that require special treatment when passing them to command-line. */
    private final static Set<Character> CHARSTOESCAPE = new TreeSet<Character>(Arrays.asList(
    private static final Set<Character> CHARSTOESCAPE = new TreeSet<Character>(Arrays.asList(
        ' ', '\t', '\n', '|', ';', '<', '>', '(', ')', '$', '`', '\\', '"', '\''));
    /**