Update DATrie.java