but unfortunately, some other javac plugins don't play along as well.