--- old/src/hotspot/.mx.jvmci/.project 2017-10-30 11:59:38.000000000 +0100 +++ /dev/null 2017-10-30 11:59:38.000000000 +0100 @@ -1,18 +0,0 @@ - - - mx.jvmci - - - mx - - - - org.python.pydev.PyDevBuilder - - - - - - org.python.pydev.pythonNature - -