Enhancements to jml and its extended static checking technology