diff -r 7272807bd613 -r 8c175dcbd371 hotspot/.mx.jvmci/.pydevproject
--- a/hotspot/.mx.jvmci/.pydevproject	Tue Jul 18 10:39:10 2017 -0700
+++ b/hotspot/.mx.jvmci/.pydevproject	Thu Aug 24 16:31:05 2017 +0200
@@ -3,7 +3,7 @@
 <pydev_property name="org.python.pydev.PYTHON_PROJECT_INTERPRETER">Default</pydev_property>
 <pydev_property name="org.python.pydev.PYTHON_PROJECT_VERSION">python 2.7</pydev_property>
 <pydev_pathproperty name="org.python.pydev.PROJECT_SOURCE_PATH">
-<path>/.mx.jvmci</path>
+<path>/mx.jvmci</path>
 </pydev_pathproperty>
 <pydev_pathproperty name="org.python.pydev.PROJECT_SOURCE_PATH">
 <path>/mx</path>