dist - Revision 13842: /dev/jackrabbit