Use <echo> instead of <propertyfile> in build.xml
Use <echo> instead of <propertyfile> in build.xml

propertyfile is an optional task, which means that we have to install an
extra package on most systems to get it to work. That is annoying on systems
where you don't have root.

pegasus-isi/pegasus,pegasus-isi/pegasus,pegasus-isi/pegasus,pegasus-isi/pegasus,pegasus-isi/pegasus,pegasus-isi/pegasus,pegasus-isi/pegasus,pegasus-isi/pegasus,pegasus-isi/pegasus,pegasus-isi/pegasus