Support changing java properties. Fixes #4