@Retention(value=RUNTIME)
@Target(value=TYPE)
public @interface Instrumented
May be used to mark a class which was instrumented. Intended, to mark
classes processed by static pre-instrumentation, i.e. to avoid double
instrumentation in case of mixed monitoring (some classes instrumented
statically, some at runtime).
This annotation shall be moved to de.uni_hildesheim.sse
.monitoring.runtime.annotations.internal.