diff --git a/src/Tools/Setup/.idea/.name b/src/Tools/Setup/.idea/.name
new file mode 100644
--- /dev/null
+++ b/src/Tools/Setup/.idea/.name
@@ -0,0 +1,1 @@
+isabelle-setup
\ No newline at end of file
diff --git a/src/Tools/Setup/.idea/artifacts/Setup_jar.xml b/src/Tools/Setup/.idea/artifacts/Setup_jar.xml
new file mode 100644
--- /dev/null
+++ b/src/Tools/Setup/.idea/artifacts/Setup_jar.xml
@@ -0,0 +1,8 @@
+
+
+ $PROJECT_DIR$/out/artifacts/
+
+
+
+
+
\ No newline at end of file
diff --git a/src/Tools/Setup/.idea/codeStyles/Project.xml b/src/Tools/Setup/.idea/codeStyles/Project.xml
new file mode 100644
--- /dev/null
+++ b/src/Tools/Setup/.idea/codeStyles/Project.xml
@@ -0,0 +1,9 @@
+
+
+
+
+
+
+
+
+
\ No newline at end of file
diff --git a/src/Tools/Setup/.idea/codeStyles/codeStyleConfig.xml b/src/Tools/Setup/.idea/codeStyles/codeStyleConfig.xml
new file mode 100644
--- /dev/null
+++ b/src/Tools/Setup/.idea/codeStyles/codeStyleConfig.xml
@@ -0,0 +1,5 @@
+
+
+
+
+
\ No newline at end of file
diff --git a/src/Tools/Setup/.idea/misc.xml b/src/Tools/Setup/.idea/misc.xml
new file mode 100644
--- /dev/null
+++ b/src/Tools/Setup/.idea/misc.xml
@@ -0,0 +1,6 @@
+
+
+
+
+
+
\ No newline at end of file
diff --git a/src/Tools/Setup/.idea/modules.xml b/src/Tools/Setup/.idea/modules.xml
new file mode 100644
--- /dev/null
+++ b/src/Tools/Setup/.idea/modules.xml
@@ -0,0 +1,8 @@
+
+
+
+
+
+
+
+
\ No newline at end of file
diff --git a/src/Tools/Setup/.idea/sbt.xml b/src/Tools/Setup/.idea/sbt.xml
new file mode 100644
--- /dev/null
+++ b/src/Tools/Setup/.idea/sbt.xml
@@ -0,0 +1,6 @@
+
+
+
+
+
+
\ No newline at end of file
diff --git a/src/Tools/Setup/.idea/vcs.xml b/src/Tools/Setup/.idea/vcs.xml
new file mode 100644
--- /dev/null
+++ b/src/Tools/Setup/.idea/vcs.xml
@@ -0,0 +1,6 @@
+
+
+
+
+
+
\ No newline at end of file
diff --git a/src/Tools/Setup/.idea/workspace.xml b/src/Tools/Setup/.idea/workspace.xml
new file mode 100644
--- /dev/null
+++ b/src/Tools/Setup/.idea/workspace.xml
@@ -0,0 +1,59 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ 1620762028428
+
+
+ 1620762028428
+
+
+
+
+
+
+
+
\ No newline at end of file
diff --git a/src/Tools/Setup/Setup.iml b/src/Tools/Setup/Setup.iml
new file mode 100644
--- /dev/null
+++ b/src/Tools/Setup/Setup.iml
@@ -0,0 +1,11 @@
+
+
+
+
+
+
+
+
+
+
+
\ No newline at end of file
diff --git a/src/Tools/Setup/src/META-INF/MANIFEST.MF b/src/Tools/Setup/src/META-INF/MANIFEST.MF
new file mode 100644
--- /dev/null
+++ b/src/Tools/Setup/src/META-INF/MANIFEST.MF
@@ -0,0 +1,3 @@
+Manifest-Version: 1.0
+Main-Class: isabelle.setup.Setup
+
diff --git a/src/Tools/Setup/src/isabelle/setup/Setup.java b/src/Tools/Setup/src/isabelle/setup/Setup.java
new file mode 100644
--- /dev/null
+++ b/src/Tools/Setup/src/isabelle/setup/Setup.java
@@ -0,0 +1,15 @@
+/* Title: Tools/Setup/isabelle/setup/Setup.java
+ Author: Makarius
+
+Isabelle setup tool: bootstrap from generic Java environment.
+*/
+
+package isabelle.setup;
+
+class Setup
+{
+ public static void main(String[] args)
+ {
+ System.out.println("Isabelle setup");
+ }
+}