code: public final static void appendDecEntity(final StringBuilder out, final char value)
      {
          out.append("&#");
          out.append((int)value);
          out.append(';');
      }
docs: Append the given char as a decimal HTML entity.
  
  @param out
  The StringBuilder to write to.
  @param value
  The character.