Jenkins#getInstallState and Jenkins#setInstallState are @Restricted however they are part of a public API/ExtensionPoint (see InstallState).

This is causing troubles on extensions which need to read/write this field. Actually, some extensions of that API live in core and they are using the restricted ones, why external extensions would not be able to use it?