jucedemo: first three examples are working now