Changeset 18148 for other-projects

Timestamp:

2008-12-08T17:08:27+13:00 (15 years ago)

Author:

cc108

Message:

remove Java 1.5 method

File:

• other-projects/trunk/greenstone3-extension/mat/src/org/greenstone/gsdl3_extension/mat/PrintHTML.java (modified) (7 diffs)

other-projects/trunk/greenstone3-extension/mat/src/org/greenstone/gsdl3_extension/mat/PrintHTML.java

@@ -2234 +2234 @@
                 
                 while(true){
-                    if(keywordHolder.contains("  ")){
+                    if(keywordHolder.indexOf("  ")!=-1){
                     keywordHolder = keywordHolder.replaceFirst("  ",spaceLeft+space+spaceRight+" ");
                     }
@@ -2269 +2269 @@
                 
                 while(true){
-                    if(keywordHolder.contains("  ")){
+                    if(keywordHolder.indexOf("  ")!=-1){
                     keywordHolder = keywordHolder.replaceFirst("  ",spaceLeft+space+spaceRight+" ");
                     }
@@ -2298 +2298 @@
                             
                 while(true){
-                    if(keywordHolder.contains("  ")){
+                    if(keywordHolder.indexOf("  ")!=-1){
                     keywordHolder = keywordHolder.replaceFirst("  ",spaceLeft+space+spaceRight+" ");
                     }
@@ -2465 +2465 @@
         
         while(true){
-            if(target.contains("\\n")){
+            if(target.indexOf("\\n")!=-1){
                 target = target.replaceFirst("\\\\n","");
             }
@@ -2509 +2509 @@
         //remove multiple spaces between words
         while(true){
-        if(target.contains("  ")){
+        if(target.indexOf("  ")!=-1){
         target = target.replaceFirst("  "," ");
         }
@@ -2524 +2524 @@
          
     while(true){
-        if(target.contains("\\n")){
+        if(target.indexOf("\\n")!=-1){
                 target = target.replaceFirst("\\\\n","");
                 cost = cost + 0.2;
@@ -2571 +2571 @@
         //remove multiple spaces between words
         while(true){
-        if(target.contains("  ")){
+        if(target.indexOf("  ")!=-1){
                 target = target.replaceFirst("  "," ");
                 cost = cost + 0.2;