public int getLength();
/**
+ * Replace the sequence with the given characters
+ *
+ * @param sequence
+ * new sequence characters
+ */
+ public void setSequence(char[] sequence);
+
+ /**
* Replace the sequence with the given string
*
* @param sequence