Bug 297707: [xpath2] The type "empty-sequence()" is still "empty()" https://bugs.eclipse.org/bugs/show_bug.cgi?id=297707