Fix https://github.com/julianhyde/eigenbase-xom/issues/5, "Mark ant dependency as optional".
Fix https://github.com/julianhyde/eigenbase-xom/issues/5, "Mark ant dependency as optional".

julianhyde/eigenbase-xom,julianhyde/eigenbase-xom,julianhyde/eigenbase-xom