testplugins/org.eclipse.objectteams.otdt.test.builder/workspace/Bug419987/src/teams/Super.java - objectteams/org.eclipse.objectteams - Gitiles

 package teams;

 import base internal.RestrictedFoo;

 @SuppressWarnings("restriction")
 public team class Super {
 	protected class RSuper playedBy RestrictedFoo {
 	}
 }
	package teams;

	import base internal.RestrictedFoo;

	@SuppressWarnings("restriction")
	public team class Super {
	protected class RSuper playedBy RestrictedFoo {
	}
	}