Allow Labels in Annotation Closures

the following code should execute successfully

import org.gcontracts.annotations.*

@Invariant({
   never_be_null: internal_list != null
})
class Stack {
   def internal_list = null
}

def stack = new Stack()