Change the Semantika Core release number to 1.4