Simplified random_numbers example. Modified build.xml slightly.