Moved all logic out of main method.  The main method now only gets the file and passes it off to evaluateCNF(File).
Improved the Javadoc documentation.  It should be complete now.
Added names for Jon and Andrew in all files.
Changed project.properties so generated Javadoc displays private methods (for Dr. Baliga's ease of access if he reads the generated document.