HTML Filter: crashes on preserving whitespace for a closing pre tag

The filter crashes with the following exception thrown:

java.util.EmptyStackException
    at java.util.Stack.peek(Stack.java:102)
    at net.sf.okapi.filters.abstractmarkup.ExtractionRuleState.peekPreserverWhitespaceRule(ExtractionRuleState.java:207)
    at net.sf.okapi.filters.abstractmarkup.AbstractMarkupFilter.handleEndTag(AbstractMarkupFilter.java:1137)
    at net.sf.okapi.filters.abstractmarkup.AbstractMarkupFilter.next(AbstractMarkupFilter.java:336)
    at net.sf.okapi.steps.common.RawDocumentToFilterEventsStep.handleEvent(RawDocumentToFilterEventsStep.java:166)

when it tries to clarify the white-space preservation for the closing pre tag. E.g.:

<html></pre></html>

Comments (2)