@NotNull
  @Override
  protected JavaScratchConfigurationOptions getOptions() {
    return (JavaScratchConfigurationOptions)super.getOptions();
  }
@NotNull
  @Override
  protected JavaScratchConfigurationOptions getOptions()