it.unimi.di mg4j 5.2.2 5.2.2 5.0 5.1 5.1.1 5.2 5.2.1 5.2.2 20160406123220