See the GNU GENERAL PUBLIC LICENSE in the file "GPL".
