Ah you might be right, I will double check the BufferedReader source