CSV: Should whitespace allowed before and after type string?

[Toivo Adams]

Hi,

CSV first line describes column names and types.
Should whitespace allowed before and after type string?

Input:
ID:int,AMOUNT1:float,AMOUNT2:float,AMOUNT3:float
008, 10.05, 15.45, 89.99
100, 20.25, 25.25, 45.25
105, 20.05, 25.05, 45.05
200, 34.05, 25.05, 75.05

Works without problems.

But
ID:int,AMOUNT1: float,AMOUNT2:float,AMOUNT3:float
008, 10.05, 15.45, 89.99
100, 20.25, 25.25, 45.25
105, 20.05, 25.05, 45.05
200, 34.05, 25.05, 75.05

fails

WARNING: Found unknown type: float in first line: for column: AMOUNT1. Will
assume the type of column is string

Simple trim in CsvEnumerator.deduceRowType
    typeString = typeString.trim();
fixes problem.

Should I create JIRA issue?

Thanks
Toivo