(preferred way to implement a Weaver; in Java; command-line options;)
(Java package for building and working over tree structures; methods prepared for weavers;)