Fix for OPENDJ-231. Setup process should ignore 'tools.properties', hence ...

Nemanja Lukic

09.40.2011 64e093aac5d5b7af23e735820aab9069ef7d7d0d

 opends/src/quicksetup/org/opends/quicksetup/installer/Installer.java

@@ -1425,6 +1425,9 @@
      argList.add("--skipFile");
      argList.add(skippedFile);
    }

    argList.add("--noPropertiesFile");

    final String[] args = new String[argList.size()];
    argList.toArray(args);

@@ -1541,6 +1544,8 @@

    argList.add("-F");

    argList.add("--noPropertiesFile");

    final String[] args = new String[argList.size()];
    argList.toArray(args);