cinepaint-project/cinepaint/plug-ins/jgimp/src/jython/extensions
