Add jetty-distribution as dependency to non-test project ?

[Tom Zeller]

>> I would say not. I don't think we should start creating "symbolic"
> dependencies
>> at this point.
>
> Me too.

Okay.

Just FYI, to make running the script to upload third-party
dependencies easier, I created a very simple (monolithic) project with
two dependencies, idp-distribution and jetty-distribution, and put it
in GitHub.

https://github.com/tomzeller/java-idp-with-jetty