diff -r 63b496ae04f9 -r 627912dacae3 java/RAII/build.xml --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/java/RAII/build.xml Tue Sep 09 14:51:08 2014 +0200 @@ -0,0 +1,73 @@ + + + + + + + + + + + Builds, tests, and runs the project RAII. + + +