Initial JavaDoc generation. There is still much to do, especially
missing comments "class headers"