compactFormat.setMinimumFractionDigits(2); compactFormat.setMaximumFractionDigits(2);
compactFormat.setMinimumFractionDigits(3); compactFormat.setMaximumFractionDigits(3);
  public void allocate()  {    debug            = false;    this.solved      = false;        int     dimPersons     = persons.getNumber();    int     dimTopics      = topics.getNumber();    int     dimRoles       = roles.getNumber();    int     nAssignments = dimPersons * dimTopics / dimSessions;        bestAssignment   = new int[dimPersons][dimTopics];    topicRole        = new int[dimTopics][dimRoles + 1];    personRole       = new int[dimPersons][dimRoles  + 1];    seqPersons       = new int[nAssignments + 1][2];        // Prepare a number formatter    compactFormat = NumberFormat.getInstance();    compactFormat.setMinimumFractionDigits(2);    compactFormat.setMaximumFractionDigits(2);        if (debug)    {      System.out          .println("\nPersonen und Prferenzen bei gegebener Themengruppierung:");      System.out.println("\n" + persons.emptyName() + ":   "                         + topics.toHeaderString("   "));      for (int p = 0;  p < dimPersons;  p++)      {        System.out.print(persons.getName(p) + ":");        for (int t = 0;  t < dimTopics; t++)        {          String tmp = "    " + persons.getPreferenceIndex(p, t);          System.out.print(tmp.substring(tmp.length() - 4));        }                System.out.println();      }    }  }