* BAEL-1490 First examples, Maven setup
* BAEL-1490 Each checker has its own source file
* BAEL-1490 Added checker for String.format
* BAEL-1490 The Checker Framework and Java Pluggable Type Systems
* Added comments, removed example that is probably too technical for a brad audience.
Daniele Demichelis