From d34d69c7241d0b5448fdafbbbe04527ce86c3641 Mon Sep 17 00:00:00 2001
From: Yuri Blankenstein <yuri.blankenstein@tno.nl>
Date: Mon, 21 Mar 2022 09:40:46 +0100
Subject: [PATCH 1/3] #13 Configure checkstyle configuration in workspace

---
 TRACE4CPS.setup | 24 +++++++++++++++++++++++-
 1 file changed, 23 insertions(+), 1 deletion(-)

diff --git a/TRACE4CPS.setup b/TRACE4CPS.setup
index 812d06b..64729bf 100644
--- a/TRACE4CPS.setup
+++ b/TRACE4CPS.setup
@@ -77,6 +77,28 @@
       showIntro=false
     </content>
   </setupTask>
+  <setupTask
+      xsi:type="setup:ResourceCreationTask"
+      excludedTriggers="STARTUP MANUAL"
+      targetURL="${workspace.location|uri}/.metadata/.plugins/net.sf.eclipsecs.core/checkstyle-config.xml"
+      encoding="UTF-8">
+    <description>Configure the Eclipse TRACE4CPS checkstyle as default</description>
+    <content>
+      &lt;?xml version=&quot;1.0&quot; encoding=&quot;UTF-8&quot;?>
+
+
+      &lt;checkstyle-configurations file-format-version=&quot;5.0.0&quot; default-check-configuration=&quot;Eclipse TRACE4CPS&quot;>
+
+        &lt;check-configuration name=&quot;Eclipse TRACE4CPS&quot; location=&quot;/org.eclipse.trace4cps.configuration/checkstyle.xml&quot; type=&quot;project&quot; description=&quot;&quot;>
+
+          &lt;additional-data name=&quot;protect-config-file&quot; value=&quot;false&quot;/>
+
+        &lt;/check-configuration>
+
+      &lt;/checkstyle-configurations>
+
+    </content>
+  </setupTask>
   <setupTask
       xsi:type="setup:CompoundTask"
       name="Global Preferences">
@@ -696,7 +718,7 @@
             project="org.eclipse.trace4cps.root"/>
         <operand
             xsi:type="workingsets:ExclusionPredicate"
-            excludedWorkingSet="//@setupTasks.16/@workingSets[name='${scope.project.label}%20-%20JFreeChart'] //@setupTasks.16/@workingSets[name='${scope.project.label}%20-%20Temporal%20Logic'] //@setupTasks.16/@workingSets[name='${scope.project.label}%20-%20Trace']"/>
+            excludedWorkingSet="//@setupTasks.17/@workingSets[name='${scope.project.label}%20-%20JFreeChart'] //@setupTasks.17/@workingSets[name='${scope.project.label}%20-%20Temporal%20Logic'] //@setupTasks.17/@workingSets[name='${scope.project.label}%20-%20Trace']"/>
       </predicate>
     </workingSet>
     <description>The dynamic working sets for ${scope.project.label}</description>
-- 
GitLab


From 6ace9371f85cc4fe4a1fc35f189c1e6aae8a4bac Mon Sep 17 00:00:00 2001
From: Yuri Blankenstein <yuri.blankenstein@tno.nl>
Date: Mon, 21 Mar 2022 09:41:24 +0100
Subject: [PATCH 2/3] #11 Added a note about rebuilding all projects after
 initial setup

---
 docs/dev-env-setup.asciidoc | 11 +++++++++--
 1 file changed, 9 insertions(+), 2 deletions(-)

diff --git a/docs/dev-env-setup.asciidoc b/docs/dev-env-setup.asciidoc
index 9e08d16..0b5e9c8 100644
--- a/docs/dev-env-setup.asciidoc
+++ b/docs/dev-env-setup.asciidoc
@@ -83,8 +83,15 @@ This will be used as name for Git commits.
 * Press btn:[Finish] in the Eclipse Installer to close the Eclipse Installer.
 * In the new development environment, observe Oomph executing the startup tasks (such as Git clone, importing projects, etc).
   If this is not automatically shown, click the rotating arrows icon in the status bar (bottom right) of the new development environment.
-* Wait for the startup tasks to finish successfully.
-* NOTE: If you don't open the Oomph dialog, the status bar icon may disappear when the tasks are successfully completed.
+* Wait for the startup tasks to finish successfully. +
++
+NOTE: If you don't open the Oomph dialog, the status bar icon may disappear when the tasks are successfully completed.
+
+[TIP]
+====
+When all startup tasks have finished, typically the _Problems_ view reports some errors about missing `xtend-gen` folders, etc.
+These errors can easily be solved by rebuilding all projects, using menu:Project[Clean...], then check btn:[Clean all projects] and click btn:[Clean].
+====
 
 If you have any issues during setting up the development environment, consider the following:
 
-- 
GitLab


From 4dbfd6e68149cbe6c81896c0911a54b4b27e5c3c Mon Sep 17 00:00:00 2001
From: Yuri Blankenstein <yuri.blankenstein@tno.nl>
Date: Mon, 21 Mar 2022 10:31:11 +0100
Subject: [PATCH 3/3] #3 Add option to clone with SSH

---
 TRACE4CPS.setup | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

diff --git a/TRACE4CPS.setup b/TRACE4CPS.setup
index 64729bf..0228c91 100644
--- a/TRACE4CPS.setup
+++ b/TRACE4CPS.setup
@@ -43,7 +43,14 @@
       xsi:type="setup:VariableTask"
       name="eclipse.trace4cps.git.clone.url"
       defaultValue="https://gitlab.eclipse.org/eclipse/trace4cps/trace4cps.git"
-      label="Eclipse TRACE4CPS Git clone URL"/>
+      label="Eclipse TRACE4CPS Git clone URL">
+    <choice
+        value="git@gitlab.eclipse.org:eclipse/trace4cps/trace4cps.git"
+        label="SSH (git@gitlab.eclipse.org:eclipse/trace4cps/trace4cps.git)"/>
+    <choice
+        value="https://gitlab.eclipse.org/eclipse/trace4cps/trace4cps.git"
+        label="HTTPS (https://gitlab.eclipse.org/eclipse/trace4cps/trace4cps.git)"/>
+  </setupTask>
   <setupTask
       xsi:type="setup:VariableTask"
       name="eclipse.user.name"
-- 
GitLab