Remove useless import.
Merge branch 'master' into gama
Merge branch 'gama' of github.com:gnoubi/openmole into gama