code: public static void print(PrintStream out, String xpath, Object result){
          out.printf("XPath: %s%n", xpath);
          print(out, result, 2);
      }
docs: /*-------------------------------------------------[ Printing ]---------------------------------------------------