Random programs in Java