mtz java formulation