Changeset 18149 for other-projects

Show
Ignore:
Timestamp:
08.12.2008 17:10:42 (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/servlet/PrintHTML.java

    r18107 r18149  
    23492349                             
    23502350                            while(true){ 
    2351                                 if(keywordHolder.contains("  ")){ 
     2351                                if(keywordHolder.indexOf("  ")!=-1){ 
    23522352                                    keywordHolder = keywordHolder.replaceFirst("  ",spaceLeft+space+spaceRight+" "); 
    23532353                                } 
     
    23842384                             
    23852385                            while(true){ 
    2386                                 if(keywordHolder.contains("  ")){ 
     2386                                if(keywordHolder.indexOf("  ")!=-1){ 
    23872387                                    keywordHolder = keywordHolder.replaceFirst("  ",spaceLeft+space+spaceRight+" "); 
    23882388                                } 
     
    24152415                             
    24162416                            while(true){ 
    2417                                 if(keywordHolder.contains("  ")){ 
     2417                                if(keywordHolder.indexOf("  ")!=-1){ 
    24182418                                    keywordHolder = keywordHolder.replaceFirst("  ",spaceLeft+space+spaceRight+" "); 
    24192419                                } 
     
    25912591        // remove \n  
    25922592        while(true){ 
    2593             if(target.contains("\\n")){ 
     2593            if(target.indexOf("\\n")!=-1){ 
    25942594                target = target.replaceFirst("\\\\n",""); 
    25952595            } 
     
    26332633        //remove multiple spaces between words 
    26342634        while(true){ 
    2635            if(target.contains("  ")){ 
     2635           if(target.indexOf("  ")!=-1){ 
    26362636               target = target.replaceFirst("  "," "); 
    26372637           } 
     
    26532653        while(true){ 
    26542654 
    2655             if(target.contains("\\n")){ 
     2655            if(target.indexOf("\\n")!=-1){ 
    26562656                target = target.replaceFirst("\\\\n",""); 
    26572657                cost = cost + 0.2; 
     
    26982698        while(true){ 
    26992699 
    2700             if(target.contains("  ")){ 
     2700            if(target.indexOf("  ")!=-1){ 
    27012701                target = target.replaceFirst("  "," "); 
    27022702                cost = cost + 0.2;