| changeset 32649 | 2ee9017c7597 |
| parent 5506 | 202f599c92aa |
| 32648:1fa861caf840 | 32649:2ee9017c7597 |
|---|---|
39 if (!"6356571".equals(id)) { |
39 if (!"6356571".equals(id)) { |
40 throw new RuntimeException("wrong id: " + id); |
40 throw new RuntimeException("wrong id: " + id); |
41 } |
41 } |
42 } |
42 } |
43 |
43 |
44 public final static void main(String[] args) { |
44 public static final void main(String[] args) { |
45 new Bug6356571().check(); |
45 new Bug6356571().check(); |
46 } |
46 } |
47 } |
47 } |