Java CRS: Details on Deegree CRS Code