code: public void writeLbMaps(PrintWriter fout) throws IOException {
  	if (lbStr2Int == null) {
  	    return;
  	}
  	
  	// write the map size
  	fout.println(Integer.toString(lbStr2Int.size()));
  	
  	for (Iterator it = lbStr2Int.keySet().iterator(); it.hasNext(); ) {
  	    String lbStr = (String)it.next();
  	    Integer lbInt = (Integer)lbStr2Int.get(lbStr);
  	    
  	    fout.println(lbStr + " " + lbInt.toString());
  	}    
  	
  	// write the line ###...
  	fout.println(Option.modelSeparator);	
      }
docs: Write lb maps.
  
  @param fout the fout
  @throws IOException Signals that an I/O exception has occurred.