dist - Revision 10373: /dev/jackrabbit