Various utilities regarding Levenshtein transducers. (Java)