static final String NUMBER_OF_RESULTS_KEY = "label.number_of_results";
+ static final String NUMBER_OF_ITERATIONS = "label.number_of_iterations";
+
static final String TRIM_TERMINI_KEY = "label.trim_termini";
static final String RETURN_N_NEW_SEQ = "label.check_for_new_sequences";