040000 tree 041c6ca3fac5958f9c0df1cc59a532601bd7bac6	java
100755 blob d2818e929d5f6af49851fdc85cc7a543f5e537de	run-tamarin-tests.sh
040000 tree 2ec6a4358f45f104729ca1d0992a361a2d86e75b	util
100755 blob 8c25cdf850fd17b116113f6d783aa282ced43a3b	win-asc-autobuild.sh