First import of jDFA project source code