Updated flanagan library (compiled with Java 6).