RichBufferedReader