SequenceExtration.java: finish up naive implementation of extract(...) and move to...