Datasource portNumber property

Hi!

I need to define the port number in a cdo-server.xml file.
I was trying the following forms:
<dataSource

class="org.postgresql.ds.PGSimpleDataSource"
                                 url="jdbc:postgresql://127.0.0.1:5433/"
databaseName="cdo"
                                 user="cdo" password="cdo"/>

In this case the application tries to connect to port 5432.

<dataSource

class="org.postgresql.ds.PGSimpleDataSource"
                                 url="jdbc:postgresql://127.0.0.1/"
databaseName="cdo" portNumber="5433"
                                 user="cdo" password="cdo"/>

in this case I get:
java.lang.IllegalArgumentException: Value of property portNumber can not
be assigned to type int
org.eclipse.net4j.db.DBException: java.lang.IllegalArgumentException:
Value of property portNumber can not be assigned to type int

Any hint to solve the problem?