Some improvements for CLIPSJNI.