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