Luca Frosini 6391dd0354 Switched maven parent from 1.0.0 to 1.1.0-SNAPSHOT		2019-07-23 11:37:47 +02:00
distro	Enhanced version after release	2018-11-02 12:06:02 +00:00
src	Merged from branch version 3.4 of release 4.13	2018-11-02 11:36:39 +00:00
.classpath	Setting the default workspace JDK as project JDK	2019-04-23 10:36:46 +00:00
.project	version 3.0 Insert jackson to convert model.	2017-05-11 14:38:38 +00:00
pom.xml	Switched maven parent from 1.0.0 to 1.1.0-SNAPSHOT	2019-07-23 11:37:47 +02:00