cleanup misc

pom.xml

@@ -94,7 +94,6 @@
         <maven-javadoc-plugin.version>3.1.1</maven-javadoc-plugin.version>
         <maven-deploy-plugin.version>2.8.2</maven-deploy-plugin.version>
         <maven-gpg-plugin.version>1.5</maven-gpg-plugin.version>
-        <checkstyle.failOnViolation>true</checkstyle.failOnViolation>
         <licence-check.failOnMissingHeader>true</licence-check.failOnMissingHeader>
         <reactorRootsTarget>${basedir}/target</reactorRootsTarget>
     </properties>

sootup.core/src/main/java/sootup/core/model/Body.java

@@ -346,24 +346,7 @@ public static BodyBuilder builder(@Nonnull Body body, Set<MethodModifier> modifi
     return new BodyBuilder(body, modifiers);
   }
 
-  /**
-   * The BodyBuilder helps to create a new Body in a fluent way (see Builder Pattern)
-   *
-   * <pre>
-   * <code>
-   * Stmt stmt1, stmt2, stmt3;
-   * ...
-   * Body.BodyBuilder builder = Body.builder();
-   * builder.setMethodSignature( ... );
-   * builder.setStartingStmt(stmt1);
-   * stmtGraph.putEdge(stmt1,stmt2);
-   * stmtGraph.putEdge(stmt2,stmt3);
-   * ...
-   * Body body = builder.build();
-   *
-   * </code>
-   * </pre>
-   */
+  /** The BodyBuilder helps to create a new Body in a fluent way (see Builder Pattern) */
   public static class BodyBuilder {
     @Nonnull private Set<Local> locals = new LinkedHashSet<>();
     @Nonnull private Set<MethodModifier> modifiers = Collections.emptySet();