Changeset 18148

Show
Ignore:
Timestamp:
08.12.2008 17:08:27 (11 years ago)
Author:
cc108
Message:

remove Java 1.5 method

Files:
1 modified

Legend:

Unmodified
Added
Removed
  • other-projects/trunk/greenstone3-extension/mat/src/org/greenstone/gsdl3_extension/mat/PrintHTML.java

    r18093 r18148  
    22342234                 
    22352235                while(true){ 
    2236                     if(keywordHolder.contains("  ")){ 
     2236                    if(keywordHolder.indexOf("  ")!=-1){ 
    22372237                    keywordHolder = keywordHolder.replaceFirst("  ",spaceLeft+space+spaceRight+" "); 
    22382238                    } 
     
    22692269                 
    22702270                while(true){ 
    2271                     if(keywordHolder.contains("  ")){ 
     2271                    if(keywordHolder.indexOf("  ")!=-1){ 
    22722272                    keywordHolder = keywordHolder.replaceFirst("  ",spaceLeft+space+spaceRight+" "); 
    22732273                    } 
     
    22982298                             
    22992299                while(true){ 
    2300                     if(keywordHolder.contains("  ")){ 
     2300                    if(keywordHolder.indexOf("  ")!=-1){ 
    23012301                    keywordHolder = keywordHolder.replaceFirst("  ",spaceLeft+space+spaceRight+" "); 
    23022302                    } 
     
    24652465         
    24662466        while(true){ 
    2467             if(target.contains("\\n")){ 
     2467            if(target.indexOf("\\n")!=-1){ 
    24682468                target = target.replaceFirst("\\\\n",""); 
    24692469            } 
     
    25092509        //remove multiple spaces between words 
    25102510        while(true){ 
    2511         if(target.contains("  ")){ 
     2511        if(target.indexOf("  ")!=-1){ 
    25122512        target = target.replaceFirst("  "," "); 
    25132513        } 
     
    25242524          
    25252525    while(true){ 
    2526         if(target.contains("\\n")){ 
     2526        if(target.indexOf("\\n")!=-1){ 
    25272527                target = target.replaceFirst("\\\\n",""); 
    25282528                cost = cost + 0.2; 
     
    25712571        //remove multiple spaces between words 
    25722572        while(true){ 
    2573         if(target.contains("  ")){ 
     2573        if(target.indexOf("  ")!=-1){ 
    25742574                target = target.replaceFirst("  "," "); 
    25752575                cost = cost + 0.2;