1 |
/* Properties.java -- a set of persistent properties |
/* Properties.java -- a set of persistent properties |
2 |
Copyright (C) 1998, 1999, 2000, 2001, 2002 Free Software Foundation, Inc. |
Copyright (C) 1998, 1999, 2000, 2001, 2002, 2003 Free Software Foundation, Inc. |
3 |
|
|
4 |
This file is part of GNU Classpath. |
This file is part of GNU Classpath. |
5 |
|
|
271 |
{ |
{ |
272 |
// The line continues on the next line. |
// The line continues on the next line. |
273 |
line = reader.readLine(); |
line = reader.readLine(); |
274 |
|
|
275 |
|
// We might have seen a backslash at the end of |
276 |
|
// the file. The JDK ignores the backslash in |
277 |
|
// this case, so we follow for compatibility. |
278 |
|
if (line == null) |
279 |
|
break; |
280 |
|
|
281 |
pos = 0; |
pos = 0; |
282 |
while (pos < line.length() |
while (pos < line.length() |
283 |
&& Character.isWhitespace(c = line.charAt(pos))) |
&& Character.isWhitespace(c = line.charAt(pos))) |