Except for Automata.scala, these classes has been converted successfully.