Failing tests with JFact. Changes to make them pass.