merge method

JavaOptions merge(
  1. JavaOptions options
)

Overrides any non-null parameters from options into this to make a new JavaOptions.

Implementation

JavaOptions merge(JavaOptions options) {
  return JavaOptions.fromMap(mergeMaps(toMap(), options.toMap()));
}