../ org.overture.ide.plugins.developerutils-2.4.2... 2016-10-06 08:51 592 org.overture.ide.plugins.developerutils-2.4.2... 2016-10-06 08:51 473 org.overture.ide.plugins.developerutils-2.4.2... 2016-10-06 08:51 32 org.overture.ide.plugins.developerutils-2.4.2... 2016-10-06 08:51 40 org.overture.ide.plugins.developerutils-2.4.2... 2016-10-06 08:51 1902 org.overture.ide.plugins.developerutils-2.4.2... 2016-10-06 08:51 473 org.overture.ide.plugins.developerutils-2.4.2... 2016-10-06 08:51 32 org.overture.ide.plugins.developerutils-2.4.2... 2016-10-06 08:51 40 org.overture.ide.plugins.developerutils-2.4.2... 2016-10-06 08:51 9771 org.overture.ide.plugins.developerutils-2.4.2... 2016-10-06 08:51 473 org.overture.ide.plugins.developerutils-2.4.2... 2016-10-06 08:51 32 org.overture.ide.plugins.developerutils-2.4.2... 2016-10-06 08:51 40 org.overture.ide.plugins.developerutils-2.4.2... 2016-10-06 08:51 11457 org.overture.ide.plugins.developerutils-2.4.2... 2016-10-06 08:51 473 org.overture.ide.plugins.developerutils-2.4.2... 2016-10-06 08:51 32 org.overture.ide.plugins.developerutils-2.4.2... 2016-10-06 08:51 40 org.overture.ide.plugins.developerutils-2.4.2... 2016-10-06 08:51 718 org.overture.ide.plugins.developerutils-2.4.2... 2016-10-06 08:51 473 org.overture.ide.plugins.developerutils-2.4.2... 2016-10-06 08:51 32 org.overture.ide.plugins.developerutils-2.4.2... 2016-10-06 08:51 40