fix #3: use Lucene's FST instead of darts-java