tiny tweak to java example
added static SMT.addZone methods