/src/jdk.xml.dom/share/classes/org/w3c/dom/xpath/ default tip
drwxr-xr-x [up]
-rw-r--r-- 2019-11-30 14:33 -0800 4808 COPYRIGHT.html
-rw-r--r-- 2019-11-30 14:33 -0800 8679 XPathEvaluator.java
-rw-r--r-- 2019-11-30 14:33 -0800 3340 XPathException.java
-rw-r--r-- 2019-11-30 14:33 -0800 4741 XPathExpression.java
-rw-r--r-- 2019-11-30 14:33 -0800 2938 XPathNSResolver.java
-rw-r--r-- 2019-11-30 14:33 -0800 4555 XPathNamespace.java
-rw-r--r-- 2019-11-30 14:33 -0800 10745 XPathResult.java
-rw-r--r-- 2019-11-30 14:33 -0800 1978 package-info.java