B.java

package testPullUpGen.test13.expectedresult;

public class B extends SS {
   void m(String i){
        return ;
    }
}

// Remark: @Override unspecified in B and SS (I am not sure what is the best choice. Also, in the initial program, there may be an @Override for B::m .