040000 tree 1b5f1db6be869c372b975fa669e1e0f147ba0d94	alternative-leaks
100644 blob f7a2b2792a4341be25c1bd2199160ea1d3bea133	build.xml
040000 tree 12f8eeb22532a104ee6ab51f78a9e1dc0261254c	specialization-simple