+ // JBPNote : padding char at end of sequence. We'll not get away with this when we insert residues, I bet!\r
+ char[] ch = new char[1+i-sequence.length()];\r
+ for (int j=0, k=ch.length; j<k; j++)\r
+ ch[j] = c;\r
+ sequence = tmp + String.valueOf(ch);\r