Added a patch to annotated emptyList etc as @ReadOnly