672210bc7863 regressed the formatting fix in c607e18cf2da. When starting with

    @Override public void run() {
        ...
    }

and call GU.aTAV, you would want the result to be

    @SomeNewAnnotation(...)
    @Override public void run() {
        ...
    }

but you currently get

    @Override@SomeNewAnnotation(...)
public void run() {
        ...
    }

which obviously looks terrible and needs to be fixed up by the user manually.

I can supply a patch with test if you agree - either to insert a new annotation at the front unconditionally, or to insert before @Override if present.