v1.0-RC1

We have become stable enough to aproach the 1.0 now :)
Here are the latest changes:
added an "example"-directory
more documentation in build.xml
bugfix in getOclName(jdt-Type) in handling primitivy types
post-check is inserted in void-methods as last statement again if they don't contain "return" or "throw"