Is there a more efficient indexing approach for getting the children nodes of a given node (i.e. Node.getNodes()) than what is offered by simply invoking Node.getNodes()?
Not that I'm aware of, no. This is the only JCR API method for getting the children of a node (and its variant with the regex)