Changed port in build.xml again to 7718

Was somehow changed back to 5432 in a previous commit