Java Swing text editors with plugins