export const Annotation = $.type("java.lang.annotation.Annotation");