Checkstyle.
The workspace user list also includes workspace of user's groups.
Resource creation INSERT performance increased.
Merge branch 'master' of https://github.com/claroline/Claroline
Increased performance for resource/ws/user creation.
Merge branch 'master' of https://github.com/claroline/Claroline