Object prop = properties.get(name); if (!(prop instanceof Double)) { throw new JMSException("Not double"); }
   public double getDoubleProperty(String name) throws JMSException   {      return ((Double)properties.get(name)).doubleValue();   }