Making sure that the tool JARs get properly released (ceylon/ceylon-dist#41)