Update build.xml - remove dependency on Eclipse.
Minor code polishing.