steven
committed
on 15 Dec 06
add isEmpty() method.