Removed the now obsolete class AbstractOption.