deegree/deegree3 — pull request #310 by copierrj (2014-06-16 15:26:36+00:00)
Title: Missing User-Agent header results in NullPointerException

This pull requests contains a patch to avoid a NullPointerException when the User-Agent header is missing.