209 |
{ |
{ |
210 |
if (pos == line.length()) |
if (pos == line.length()) |
211 |
{ |
{ |
212 |
// The line continues on the next line. |
// The line continues on the next line. If there |
213 |
|
// is no next line, just treat it as a key with an |
214 |
|
// empty value. |
215 |
line = reader.readLine(); |
line = reader.readLine(); |
216 |
|
if (line == null) |
217 |
|
line = ""; |
218 |
pos = 0; |
pos = 0; |
219 |
while (pos < line.length() |
while (pos < line.length() |
220 |
&& Character.isWhitespace(c = line.charAt(pos))) |
&& Character.isWhitespace(c = line.charAt(pos))) |