added RichInputStream#getLines method.