pretty printing

jmlparser-jml-pretty/pom.xml

@@ -0,0 +1,21 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<project xmlns="http://maven.apache.org/POM/4.0.0"
+         xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
+         xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 http://maven.apache.org/xsd/maven-4.0.0.xsd">
+	<modelVersion>4.0.0</modelVersion>
+
+	<parent>
+		<groupId>io.github.jmltoolkit</groupId>
+		<artifactId>jmlparser-parent</artifactId>
+		<version>3.25.6</version>
+	</parent>
+	<artifactId>jmlparser-jml-pretty</artifactId>
+
+	<dependencies>
+		<dependency>
+			<groupId>com.google.googlejavaformat</groupId>
+			<artifactId>google-java-format</artifactId>
+			<version>1.16.0</version>
+		</dependency>
+	</dependencies>
+</project>

pom.xml

@@ -12,6 +12,7 @@
 		<module>javaparser-symbol-solver-testing</module>
 		<module>jmlparser-jml-tests</module>
 		<module>jmlparser-jml-tools</module>
+		<module>jmlparser-jml-pretty</module>
 	</modules>
 
 	<groupId>io.github.jmltoolkit</groupId>