Fixed some nasty int/double conversion with GMLParser and StringTokenizer.
Property comparison is now stronger.