public int read() throws IOException {
  int ch1=is.read();
switch (ch1) {
case 130:
    return ',';
case 131:
  return 'f';
case 132:
return '"';
case 133:
return 8230;
case 134:
return '+';
case 135:
return '+';
case 136:
return '^';
case 137:
return 8240;
case 138:
return 'S';
case 139:
return '<';
case 140:
return 'O';
case 145:
case 146:
return '\'';
case 147:
case 148:
return '"';
case 149:
return '*';
case 150:
case 151:
return '-';
case 152:
return '~';
case 153:
return 8482;
case 154:
return 's';
case 155:
return '>';
case 156:
return 'o';
case 376:
return 'Y';
default :
return ch1;
}
}

public int read ( ) throws IOException { int ch1 = is . read ( ) ; switch ( ch1 ) { case 130 : return ',' ; case 131 : return 'f' ; case 132 : return '"' ; case 133 : return 8230 ; case 134 : return '+' ; case 135 : return '+' ; case 136 : return '^' ; case 137 : return 8240 ; case 138 : return 'S' ; case 139 : return '<' ; case 140 : return 'O' ; case 145 : case 146 : return '\'' ; case 147 : case 148 : return '"' ; case 149 : return '*' ; case 150 : case 151 : return '-' ; case 152 : return '~' ; case 153 : return 8482 ; case 154 : return 's' ; case 155 : return '>' ; case 156 : return 'o' ; case 376 : return 'Y' ; default : return ch1 ; } }
reads into a character buffer using the correct encoding .
