Position on the passage of Java under the GNU General Public License