pgadmin3 license change