mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
blame | history | patch | commit | commitdiff | ignore whitespace
Jean-Noel Rouvignac
17.26.2015 88f16d892d54fd8c3e190cc1f6363638b11ae1a3 
 opendj-server-legacy/src/main/java/org/opends/guitools/controlpanel/ui/JavaPropertiesPanel.java


@@ -157,7 +157,7 @@


  private boolean readUseOpenDSJavaHome;


  private boolean readUseOpenDSJavaArgs;




  private boolean initialized = false;


  private boolean initialized;




  private boolean previousLocal = true;




@@ -1152,7 +1152,7 @@


    private final String[] COLUMN_NAMES = new String[] {


        getHeader(INFO_CTRL_PANEL_COMMAND_LINE_NAME_COLUMN.get(), 40),


        getHeader(INFO_CTRL_PANEL_JAVA_ARGUMENTS_COLUMN.get(), 40)};


    private int sortColumn = 0;


    private int sortColumn;


    private boolean sortAscending = true;




    /**