JavaInterfaceMethodRefTests.st
changeset 3914 35aa88fa58c1
parent 3412 df11bb428463