test/files/pos/t1263/Test.java


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

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;
  }
}