gerrit.witaqua.org / art / ce9b902a161b86eb2d5ef9fe4442305e25828d0a / test / 531-regression-debugphi / src / Main.java