| 139 | } |
| 140 | |
| 141 | public String getHeading(int stringRef) |
| 142 | { |
| 143 | String heading = null; |
| 144 | String string = getString(stringRef).trim(); |
| 145 | int start = string.indexOf("<cHEADER>"); |
| 146 | if (start < 0) |
| 147 | start = string.indexOf("<cHeader>"); |
| 148 | if (start < 0) |
| 149 | start = string.indexOf("<cBOLD>"); |
| 150 | if (start < 0) |
| 151 | start = string.indexOf("<cBold>"); |
| 152 | if (start >= 0) { |
| 153 | start = string.indexOf(62, start) + 1; |
| 154 | int stop = string.indexOf("</c>", start); |
| 155 | if (stop > start) { |
| 156 | heading = string.substring(start, stop); |
| 157 | } |
| 158 | } |
| 159 | return heading != null ? heading : string; |
| 160 | } |
| 161 | |
| 162 | protected void finalize() |
| 163 | { |