dist - Revision 12268: /dev/jackrabbit