JavaPatternMatching/doc/PluginBau.pdf