<?php
/* For licensing terms, see /license.txt */

/**
 * Class SequenceManager.
 */
class SequenceManager
{
}