jsdoc/type/parser: skip spaces after optional property [with square brackets] in record type

Author: panchenko

plugins/org.eclipse.dltk.javascript.core/src/org/eclipse/dltk/javascript/typeinfo/JSDocTypeParser.java

@@ -428,8 +428,8 @@ protected RecordType parseRecordType(CharStream input)
 				property.setName(name);
 				skipSpaces(input);
 				if (optional) {
-					// todo test if it ends on ] ?
-					input.consume();
+					match(input, ']');
+					skipSpaces(input);
 					property.setOptional(true);
 				}