public double getDoubleValue() throws DataConversionException {
    try {
      // Avoid Double.parseDouble() to support JDK 1.1
      return Double.valueOf(value.trim()).doubleValue();
    }
    catch (final NumberFormatException e) {
      // Specially handle INF and -INF that Double.valueOf doesn't do
      String v = value.trim();
      if ("INF".equals(v)) {
        return Double.POSITIVE_INFINITY;
      }
      if ("-INF".equals(v)) {
        return Double.NEGATIVE_INFINITY;
      }
      throw new DataConversionException(name, "double");
    }
  }
public double getDoubleValue()