restore state of platform.properties