code: private String adjustKey(String key) {
  
          // replace the &nbsp; with spaces
          key = key.replaceAll("&nbsp;", " ");
          // now eleiminate all double spaces
          int keyLen;
          do {
              keyLen = key.length();
              key = key.replaceAll("  ", " ");
          } while (key.length() != keyLen);
          return key;
      }
docs: Adjusts the key for the decoration.<p>
  The following adjustments are made:
  <ul>
  <li>&nbsp; is replaced with space</li>
  <li>multiple spaces are replaced with a single space</li>
  </ul>
  @param key the key to adjust
  @return the adjusted key