The KADAI Java library
========================