JML vim syntax by Engelbert Hubbers.