Jeremias,
In the SpaceResolver constructor the pendingaftermarks are added to
the start of first:
first.addAll(0, breakPoss.getPendingAfterMarks());
I think they should be added to the end. Also I think the order of the
pendingaftermarks in BreakElement is wrong, or they should be added to
Would you mind handling this yourself? Adding the test case, adding
checks and possibly fixing the bug? I'm away tomorrow and the whole of
next week and I'm only just cleaning up my stuff before I go to bed. I
don't know how much time I'll have during the weekend to look into this.
Thanks!
On