Now @GuardedBy annotation can be used to annotate formal parameter this.