Fix sample in IdeaProject documentation.