Fixed a style in javadocs.
Added a new database file for FFO endgame sample positions.
Fixed a bug in gpdb_verify program. When no error is found and the -e option is set the program core dumped.