Specifying versions of all used plug-ins; updating plug-in versions; adding Animal Sniffer plug-in to check that only Java 1.6 APIs are used