Added by Severine Gedzelman over 6 years ago
HMManager becomes HMController, hence all the changes in the different GUI java classes
View differences