Their stack is (currently) based on KDE Plasma, but they have not released source code (IIRC) for JingOS 0.6 and thus are violating the GPL already.