diff -r b4ed8cdc654c -r 0fe2f3f5466f .pydevproject
--- a/.pydevproject	Wed Nov 07 11:48:38 2012 +0100
+++ b/.pydevproject	Tue Nov 13 16:20:34 2012 +0100
@@ -1,6 +1,6 @@
 <?xml version="1.0" encoding="UTF-8" standalone="no"?>
 <?eclipse-pydev version="1.0"?><pydev_project>
-<pydev_property name="org.python.pydev.PYTHON_PROJECT_INTERPRETER">Default</pydev_property>
+<pydev_property name="org.python.pydev.PYTHON_PROJECT_INTERPRETER">python_hp</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>/hyperplateau/src</path>