Fix Issue #116, typo in HTreeMap.isEmpty()