Changing the charactore encoding of the html reading BufferedReader