Added support for volatile and synchronized and some helper preconditions
Worked around strange Maven issue