r5.java:8:10: return required at the end of method h7.foo
r5.java:11:10: return required at the end of method h7.bar