pastebin - collaborative debugging

//(c) Matthew Steel 2009-, no warranty etc, licensed under the WTFPL v2.
//Finds when all four digit numbers have gone through stdin.

import java.io.IOException;
public class Searcher {

        public static void main(String[] args) {
                int unseen = 10000;
                boolean[] seen = new boolean[10000];

                int number=0;
                for(int i = 0; i < 3; ++i)
                        number = 10*number + (readChar());

                int digitsSeen;
                for(digitsSeen = 3; unseen > 0; ++digitsSeen) {
                        number = (10*number + (readChar()))%10000;
                        if(!seen[number]) {
                                seen[number] = true;
                                --unseen;
                        }
                }
                System.out.println(number);
                System.out.println(digitsSeen);
        }
        private static int readChar() {
                try {
                        int c = System.in.read();
                        if (c == -1) throw new IOException("End of file");
                        //System.out.println("a");
                        return c - '0';
                } catch (IOException ioe) {
                        ioe.printStackTrace();
                        System.exit(1);
                }
                return 0;
        }
}