Don't need those autogen'd files.
Added basic fact implementations along with verification tests.
Replaced junit with testng
Corrected project url
Progress so far.