improved Java support for timed streams