Webstart fixes, enhancement

One commit fixes a build issue, the second allows mixing a second Java application into the same WebStart JVM with Jitsi.