tree 3277c515661dc596f3bead2534dfde7f07475790
parent b8eafc0fc614af9793c80a291f3c132d86297f01
author Przemyslaw Szczepaniak <pszczepaniak@google.com> 1436971053 +0100
committer Narayan Kamath <narayan@google.com> 1447319387 +0000

Proper fix for java.io.tmpdir/user.home mutability

Fix for java.io.tmpdir and user.home property (in the
System.initProperties) being set as a immutable default.

Change-Id: Ic74a990fb4a472a62f52552c4a8c339adf92aafb