Petals Tools

'org.objectweb.petals:petals-tools:5'

<dependency>
	<groupId>org.objectweb.petals</groupId>
	<artifactId>petals-tools</artifactId>
	<version>5</version>
</dependency>

<dependency org="org.objectweb.petals" name="petals-tools" rev="5"/>

"org.objectweb.petals", "petals-tools", "5"