A small java plug-in facility