almost fixes handling of classfile annotations

Non-literal arguments are still unattributed, but the rest should be
pretty much okay.