public void setIntAttribute(String name, int value) {
   if (m_ignoreCase) {
     name = name.toUpperCase();
   }
   setAttributeInternal(name, Integer.toString(value));
 }
 public void setDoubleAttribute(String name, double value) {
   if (m_ignoreCase) {
     name = name.toUpperCase();
   }
   setAttributeInternal(name, Double.toString(value));
 }
 public void setAttribute(String name, Object value) {
   if (m_ignoreCase) {
     name = name.toUpperCase();
   }
   setAttributeInternal(name, value != null ? value.toString() : null);
 }