org.eclipse.jdt.core.tests.model/workspace/Converter/src/test0513/A.java

package test0513;

public interface A {
   void playerJoined(final final Object player);
   void playerLeft(final Object player);
}