modified:   src/sequence/ContextSequence.java