While looking through the sources, I noticed in Main.java:
project.setUserProperty("ant.version", getAntVersion());Why is this a user property, rather than just a property? If this is correct, could somebody explain to me what the differences are betwen a user property and an ordinary property? Cheers, David
