annotation-file-utilities/tests/Abbreviation.jaif

package org.checkerframework.checker.tainting.qual:
annotation @Tainted:

package :
class Abbreviation:
    method <init>(Ljava/lang/Object;)V:
        parameter 0:
            type: @org.checkerframework.checker.tainting.qual.Tainted