Editing Java elements