Could you please support proxy server for SIMPA use case in PiacereIDEIntegration plugins dropins first for DOML 1.0
C:\programs02\Piacere\doml-1.0\dropins\piacere\plugins> ls `Directory: C:\programs02\Piacere\doml-1.0\dropins\piacere\plugins
eu.piacere.doml_0.1.0.202207051036.jar eu.piacere.doml.edit_1.0.0.202207051036.jar eu.piacere.doml.editor_1.0.0.202207051036.jar eu.piacere.doml.grammar_1.0.0.202207051036.jar eu.piacere.doml.grammar.ide_1.0.0.202207051036.jar eu.piacere.doml.grammar.ui_1.0.0.202207051036.jar PiacereIDEIntegration.KR03_1.0.0.202206131844.jar PiacereIDEIntegration.KR05_1.0.0.202206131844.jar PiacereIDEIntegration.KR06And07_1.0.0.202206131844.jar PiacereIDEIntegration.KR08_1.0.0.202206131844.jar PiacereIDEIntegration.KR09_1.0.0.202206131844.jar PiacereIDEIntegration.KR10_KR11_KR12_1.0.0.202206131844.jar PiacereIDEIntegration.KRIEC_1.0.0.202206131844.jar PiacereToolCustomization_1.0.0.202206131844.jar PiacereToolExtensions_1.0.0.202206131844.jar
/*
- to rewrite all java classes to support out proxy server
- below is only one example
- Decompiled with CFR 0.151.
- Could not load the following classes:
- org.eclipse.core.runtime.preferences.AbstractPreferenceInitializer
- org.eclipse.core.runtime.preferences.ConfigurationScope
- org.eclipse.ui.preferences.ScopedPreferenceStore
- org.osgi.framework.FrameworkUtil */ package eu.piacere.ide.toolIntegration.kriec.preferencePage;
import org.eclipse.core.runtime.preferences.AbstractPreferenceInitializer; import org.eclipse.core.runtime.preferences.ConfigurationScope; import org.eclipse.ui.preferences.ScopedPreferenceStore; import org.osgi.framework.FrameworkUtil;
public class KRIECPreferenceInitializer extends AbstractPreferenceInitializer { public void initializeDefaultPreferences() { ScopedPreferenceStore scopedPreferenceStore = new ScopedPreferenceStore(ConfigurationScope.INSTANCE, FrameworkUtil.getBundle(KRIECPreferenceInitializer.class).getSymbolicName()); scopedPreferenceStore.setDefault("KRIEC.host", "iec.ci.piacere.digital.tecnalia.dev"); scopedPreferenceStore.setDefault("KRIEC.port", 443); scopedPreferenceStore.setDefault("KRIEC.protocol", "https"); } }`
Thank you.