Obtained from: svn export https://flint.svn.sourceforge.net/svnroot/flint/trunk