dist - Revision 15518: /dev/jackrabbit