nitpicking: Sequence.getLength()

[Noel Grandin]

Hi

I realise that I'm nitpicking, but why does Sequence have a
getLength() method instead of a size() method?

My brain is habituated to the normal JDK collections, and I keep
typing size() and wondering why it isn't working.

Thanks, Noel.