modified:   src/main/java/cz/muni/kisk/rsr/tokenizer/StringToken.java