A repository for the JINI Reflect tool