Initial upload of OpenJML.
OpenJML source code revision 3178 (the one used for OpenJML release
0.5.29)