Some little modifications in the jdt_user_notes module