A Java Plugin API