Added last saved/loaded workspace location to config.properties.