#32 Unknown exception if port names start with a numeric

[Davor Slutej]

Uppaal Port (v0.48) crashes with an unknown exception if there are port names that start with a numeric.

Note: I am not proposing to allow port names such as "1stValue" but instead some informative error box instead of an exception.