Removed AbstractPushButton, since it is no longer used.