A java-based DVI file reader