Experiences with IDEs and Java teaching: what works and what doesn't