package GUT.quals:
annotation @Peer:
annotation @Rep:

package annotator.tests:
class MethodNew:
method m(Ljava/lang/Object;)V:
new *0: @GUT.quals.Peer

package annotator.tests:
class MethodNew:
method m()V:
new *0: @GUT.quals.Rep