{"additionalProperties": false, "type": "object", "properties": {"javaOptions": {"items": {"type": "string"}, "type": "array"}, "launchers": {"items": {"type": "string"}, "type": "array"}, "arguments": {"items": {"type": "string"}, "type": "array"}}}