@CutTheKnotMath would you consider moving to jsxgraph for your geometry interactives? It's all HTML, so you wouldn't need a java plugin