Updated the jar file, and fixed a small thing in exact3