Fixed #4938: (.empty() method false positive for non-STL classes)