§6.3.(a) Controlling implicit team activation

Implicit team activation is disabled by default and can be enabled by adding the annotation @org.objectteams.ImplicitTeamActivation. See §5.3.(d) for details.