annotation-file-utilities/tests/ConstructorReturn.goal

package annotator.tests;

class ConstructorReturn {
   public @java.lang.Tainted ConstructorReturn() { }
}