040000 tree 9cf073da083a73e049dec527e3b59d58e4434d0d	JCLMin1.5
040000 tree 229cff0d2a5280651ea97a74b0b7859432b191de	JCLMin1.7
040000 tree ee73b9919bcc9572ea1a75b2c426fdd2273c9fca	JCLMin1.8
040000 tree bad3a479217f2cb927023710bf1485e99b351550	otdt-examples