Enumerator for java.io.InputStream