dist - Revision 14187: /dev/jackrabbit