An Implementation of CHR in Java