gerrit.witaqua.org / art / 1ff9056b87705e251501ea4d19280a7e4fe2d009 / test / 1901-get-bytecodes / src / Main.java