Jar für @pre, @post, @inv hinzugefügt