Ran "ant" so that the non-integer filtration time bug (where the computed ExplicitStream intervals contained integer filtration indices instead of double filtration values) is now fixed. Updated from release 4.2.0 to 4.2.1.