// License. See LICENSE.TXT for details.