#97 initializer blocks

[David Cok]

Jmldoc ignores the specifications associated with java initializer
blocks (static or non-static) and those associated with the JML
keywords initializer and static_initializer. Somehow those ought to
be incorporated in the html. Note that there may be multiple java
initializer blocks.