Official core plugin containing basic editing tools for Paint.JAVA