Problems snippet

This snippet shows how to add problem or warning annotations in the editor.