// Copyright 2016-2018, Pulumi Corporation.  All rights reserved.