class org.junit.runner.Request$1 extends org.junit.runner.Request { final org.junit.runner.Runner val$runner; void (org.junit.runner.Runner) { org.junit.runner.Request$1 v; org.junit.runner.Runner v; v := @this: org.junit.runner.Request$1; v := @parameter: org.junit.runner.Runner; v. = v; specialinvoke v.()>(); return; } public org.junit.runner.Runner getRunner() { org.junit.runner.Request$1 v; org.junit.runner.Runner v; v := @this: org.junit.runner.Request$1; v = v.; return v; } }