fix pom
fix
integrate the development version 1.2-SNAPSHOT generated by maven
code prepared for development version 1.2-SNAPSHOT
get back to snapshot 1.2
clean
rollback changes
update pom wrt. solver
update javadoc
Prepare the code for release 1.2
integrate release 1.2 to master