Versions of artifact de.mpg.mpi-inf:javatools

de.mpg.mpi-inf:javatools

The Javatools are a collection of Java classes for a variety of small tasks, such as parsing, database interaction or file handling.