gerrit.witaqua.org / art / 08d0984bfeaff1a1bc2db2d51ecf45f2867b3bc4 / test / 501-null-constant-dce / src / Main.java