bugfix for CCE in TermBasePropertyTester.java (#2924 comment 2)