Apparently, CharStream.java wasn't removed.

It should be removed now.