1 package dot.junit.opcodes.if_gtz.d;
2 
3 public class T_if_gtz_1 {
4 
run(int a)5     public int run(int a) {
6         return a > 0 ? 1 : 1234;
7     }
8 }
9