Symbol: getDouble
usr/src/cmd/pools/poold/com/sun/solaris/service/pools/Element.java
227
double ret = val.getDouble();
usr/src/cmd/pools/poold/com/sun/solaris/service/pools/Value.java
304
return (String.valueOf(getDouble()));