/// <summary>
/// Writes the license (as specified in 'S') to 'SB'. Uses opening and closing
/// comments.
/// </summary>
/// <param name="S">Specification (used for license).</param>
/// <param name="SB">Where the code goes.</param>
public static void WriteLicense(StringBuilder SB, G25.Specification S)
{
WriteOpenMultilineComment(SB, S);
SB.Append(S.GetLicense());
SB.AppendLine("");
WriteCloseMultilineComment(SB, S);
}