Minor update to realizability set printing
latest version of .jar file for api