A note about Jetty <Property/> elements sourced from conf/idp.properties

[Tom Zeller]

>>Jetty's start.jar just does not accept a property file as a command
>>line parameter. If it did, and passed them to XmlConfiguration which
>>actually starts the server, we would be okay.
>
> They might take that as a suggestion, I guess.

The patch I just hacked up might be acceptable. Still need to figure
out idp.home though.