diff --git a/Examples/SEAMS_Case_Study/SEAMS__PUSH.launch b/Examples/SEAMS_Case_Study/PUSH.launch
similarity index 94%
rename from Examples/SEAMS_Case_Study/SEAMS__PUSH.launch
rename to Examples/SEAMS_Case_Study/PUSH.launch
index ce47e6546c36c47660fe65eb3d543cfb7c3ff50f..7eb474f79b9aff89a9aa624a4c55ff49c6d1385d 100644
--- a/Examples/SEAMS_Case_Study/SEAMS__PUSH.launch
+++ b/Examples/SEAMS_Case_Study/PUSH.launch
@@ -10,7 +10,7 @@
 <listEntry value="org.eclipse.debug.ui.launchGroup.run"/>
 </listAttribute>
 <stringAttribute key="org.eclipse.jdt.launching.MAIN_TYPE" value="edu.kit.ipd.descartes.adaptation.AdaptationControl"/>
-<stringAttribute key="org.eclipse.jdt.launching.PROGRAM_ARGUMENTS" value="../Examples/SEAMS_Case_Study/default.properties"/>
+<stringAttribute key="org.eclipse.jdt.launching.PROGRAM_ARGUMENTS" value="../Examples/SEAMS_Case_Study/push.properties"/>
 <stringAttribute key="org.eclipse.jdt.launching.PROJECT_ATTR" value="edu.kit.ipd.descartes.adaptation"/>
 <stringAttribute key="org.eclipse.jdt.launching.VM_ARGUMENTS" value="-enableassertions"/>
 </launchConfiguration>
diff --git a/Examples/SEAMS_Case_Study/MetricTypes.xmi b/Examples/SEAMS_Case_Study/metrictypes.xmi
similarity index 100%
rename from Examples/SEAMS_Case_Study/MetricTypes.xmi
rename to Examples/SEAMS_Case_Study/metrictypes.xmi
diff --git a/Examples/SEAMS_Case_Study/default.properties b/Examples/SEAMS_Case_Study/push.properties
similarity index 100%
rename from Examples/SEAMS_Case_Study/default.properties
rename to Examples/SEAMS_Case_Study/push.properties