ACL2 no longer crashes when called from Java (fixes #27)