Java code from a roboter programming workshop based on Lego EV3 and leJOS at Technische Universität Dresden