(currently only used by a not-yet committed plugin, though)

Change-Id: I4cff7eb97dbe10a44a911be9db090ea8cd10d8f0