Changeset 18149 for other-projects/trunk/greenstone3-extension/mat/src/org/greenstone/gsdl3_extension/mat/servlet/PrintHTML.java

Timestamp:

2008-12-08T17:10:42+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/servlet/PrintHTML.java (modified) (7 diffs)

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

@@ -2349 +2349 @@
                             
                             while(true){
-                                if(keywordHolder.contains("  ")){
+                                if(keywordHolder.indexOf("  ")!=-1){
                                     keywordHolder = keywordHolder.replaceFirst("  ",spaceLeft+space+spaceRight+" ");
                                 }
@@ -2384 +2384 @@
                             
                             while(true){
-                                if(keywordHolder.contains("  ")){
+                                if(keywordHolder.indexOf("  ")!=-1){
                                     keywordHolder = keywordHolder.replaceFirst("  ",spaceLeft+space+spaceRight+" ");
                                 }
@@ -2415 +2415 @@
                             
                             while(true){
-                                if(keywordHolder.contains("  ")){
+                                if(keywordHolder.indexOf("  ")!=-1){
                                     keywordHolder = keywordHolder.replaceFirst("  ",spaceLeft+space+spaceRight+" ");
                                 }
@@ -2591 +2591 @@
         // remove \n 
         while(true){
-            if(target.contains("\\n")){
+            if(target.indexOf("\\n")!=-1){
                 target = target.replaceFirst("\\\\n","");
             }
@@ -2633 +2633 @@
         //remove multiple spaces between words
         while(true){
-           if(target.contains("  ")){
+           if(target.indexOf("  ")!=-1){
                target = target.replaceFirst("  "," ");
            }
@@ -2653 +2653 @@
         while(true){
 
-            if(target.contains("\\n")){
+            if(target.indexOf("\\n")!=-1){
                 target = target.replaceFirst("\\\\n","");
                 cost = cost + 0.2;
@@ -2698 +2698 @@
         while(true){
 
-            if(target.contains("  ")){
+            if(target.indexOf("  ")!=-1){
                 target = target.replaceFirst("  "," ");
                 cost = cost + 0.2;