path: root/test/files/pos/t1263/Test.java

package test;

import java.rmi.RemoteException;

import test.Map;

public class Test implements Map<String, String> {
  public Map.MapTo plus(String o) {
    return null;
  }

  public int $tag() throws RemoteException {
    return 0;
  }
}