Changed SAnt so JDK-specific libraries can be used for Ant. A project domain can also add and/or override libraries for Ant now.