Use space as path separator for Manifest Class-Path attributes

[Tom Tromey]

>>>>> "Mark" == Mark Wielaard <mark@klomp.org> writes:

>> It seems quite perverse not to allow "path.separator" as a separator
>> as well.  Are you sure about this?

It does seem odd.

Mark> Yes. All documentation I could find was very explicit about only using
Mark> space as separator.

Thanks for doing the research on this.  IMO a comment in the source
explaining this is in order, perhaps with a URL or something.

Mark> Also all jar files I could find that use this
Mark> feature use space exclusively. Besides "path.separator" is different
Mark> depending on the platform used so that would make jars that use that in
Mark> describing the additional class path elements unusable on a platform
Mark> that uses a different "path.separator".

Dalibor once said on irc that he's seen jars with things like
"C:\foo\bar.jar" here -- but of course that is pathological.

Tom