Removed unused function isEmpty()

Was introduced in commit 49875713dccbcf8d5c1e179db6108f101a2be0c4 and
is unused since commit f6d004f7eb5a4d9fbdbb8fef898bef45bd3b4008.