dist - Revision 10039: /dev/jackrabbit