workcraft/WtgPlugin/test-src/org/workcraft/plugins/wtg/WtgVerificationCommandTests.java
Method testVerificationCommands
has 5 arguments (exceeds 4 allowed). Consider refactoring. Open
Open
private void testVerificationCommands(String workName, Boolean inputProperness,
Boolean reachability, Boolean soundness, Boolean guidelines) throws DeserialisationException {