Well, they are synthetic in the sense that they are auto-generated by the compiler. It’s not about the ACC_SYNTHETIC bytecode flag. But you are right, the documentation can be misleading. Please file an issue to our issue tracker so this won’t be forgotten.