am f0a670eb: (-s ours) do not merge. Fix a race in system properties.

* commit 'f0a670eb12a0e5854dfd2a9284973d0711392653':
  do not merge. Fix a race in system properties.