Minor change to valid realizability results
api jar update