Added the GNU GPL license to Defs.java