Java beginners #10: while loops