FaCT++ based on release of version 1.4.0 (April 29, 2010)