Build #5853 [Consulo #3718]
Merge branch 'master' of github.com:consulo/consulo-junit # Conflicts: # plugin/src/main/java/module-info.java
Merge branch 'master' of github.com:consulo/consulo-junit # Conflicts: # plugin/src/main/java/module-info.java