code: @Override
  	public final void setDoubleProperty(String name, double value) throws JMSException
      {
          setProperty(name,new Double(value));
      }
docs: /* (non-Javadoc)
  @see javax.jms.Message#setDoubleProperty(java.lang.String, double)