Applying last Class hierarchy changes from my 0.4 CLIPSJNI version (hosted in Github too).