Class name
   The class name is defined by the
getClassName method:
public String getClassName() { return ”Counter"; }