Developing SocrateOpen with Eclipse