private void processFontCharset(int parameter)
   {
      String charset = FontCharset.getCharset(parameter);
      if (charset != null)
      {
         m_fontEncodings.put(Integer.valueOf(state.currentFont), Encoding.LOCALEID_MAPPING.get(charset));
      }
   }