Patch: set java.ext.dirs property

[Tom Tromey]

>>>>> "Anthony" == Anthony Green <green@redhat.com> writes:

Anthony> This patch sets the java.ext.dirs property to the same
Anthony> directory gcj uses to find extensions.

Anthony> A follow-on patch will actually add the contents of the
Anthony> java.ext.dirs to java.class.path, but for now - is this OK?

Yes, thanks.

For the other part, don't we need an extension class loader?

Tom