owlcs/owlapi — pull request #211 by sesuncedu (2014-06-22 21:11:51+00:00)
Title: Change buffering strategy  buffer reader, not input stream

Applying buffering to the input stream rather than the reader uses a lot of cpu time in character set decoding.

This was masked when using JavaCC's streams