What's your opinion of the choice of GPL as the open-source Java license?