Java utilities for working with character streams