Hi,
this port is in the way for an upcoming spring cleanup kurt@ wants
to do. It's also horribly outdated and doesn't even work with the
tomcat versions we have in our tree (at least not with v8).
An update of the port building the postgresql jdbc driver from source is
a little bit difficult, because that uses maven, which tries to download
a lot of shit from the net (which is prohibited for bulk builds).
And an update using a official binary jar is a little bit pointless,
because nothing in our tree depends on this port at all.
So if noone objects, I'll remove this port from our tree.
Ciao,
Kili
