Or get Eclipse to just make the jar's we need (and others need)
available somewhere...

Probably the best way to ask for that is to raise a bug in
https://bugs.eclipse.org/bugs/ against the JDT component. If the bug
report is in the form of a haiku then all the better.

Reply via email to