Renaming jetty.* to idp.* in idp-jetty-base:9.4 ?

[Rod Widdowson]

> I renamed some of the jetty.* properties to idp.* in jetty-base for
> 9.4, but what should we do with the other jetty.* properties that we
> do not define/override ourselves ? I think you mentioned maybe
> renaming them to idp.jetty.* or ?

>From my point of view, if the jetty project defines them then they own the names (which should start with jetty.*).  If we define
properties then it isn't appropriate to use jetty.* but idp. is appropriate.  That is my memory of what we decided in the meetings//

> I took a look at the Jetty source, and some of the jetty.* properties
> might be removable (from the XML) as they are the same as the defaults
> (in Java).

That I cannot provide much input on.  It seems to be that it might be useful to have them there as aids to deployers, but if their
values are the defaults we should have them commented out.

The Windows installer will use a complete forked idp.ini (heavily based on a cut down version of what is in 3.3).

And yes I am not forgetting that I need to supply some explanation in the file about the nonsense over the passwords having to be
"changeit" and how to configure the key store as the trust store.  I hope to get to it this weekend...

R