1package java.lang: 2annotation @UnderInitialization: @Retention(value=RUNTIME) @java.lang.annotation.Target(value={TYPE_USE}) 3 4package annotator.tests: 5class LocalVariables: 6 7 method <init>()V: 8 9 method foo()V: 10 local a: @java.lang.UnderInitialization 11 12