Random exploration of Java features