This is the Java prettyprinter by Lee Wittenberg with slight
modifications sent to me by Holger Uhr <huhr@uni-paderborn.de>

It basicly replaces the file java.fg in the directory contrib/leew of
the Pretzel distribution, but I haven't tried it.

FG


