if (elementOutput.isCaseSensitive() != null) {
caseSensitive = elementOutput.isCaseSensitive().booleanValue();
}
boolean match = false;
if (output.receive()) {
if (receive) {
match = recorder.playMatch(element, source.getBookmark());
source.setBookmark(recorder.playBookmark());
} else {
output.init(source);