added a few zettel
added java properties with version number (this fixes #18)