Pass extra Java options set by SWT thread

This is a work-around for a bug in the latest OS X version of Java.