public Double childAsDouble(String path) {
        String child = childAsString(path);
        if (child == null) return null;
        return Double.parseDouble(child.trim());
    }
If not found, return empty list.
config-model/src/main/java/com/yahoo/vespa/model/builder/xml/dom/ModelElement.java