}
static String replaceStringCharacters(String aText, char[] aCharactersToReplace, String[] aStringsToSubstitute) {
+ if (aText==null)
+ return null;
+
int position, nextPosition;
int i;
StringBuffer result = new StringBuffer();
position=0;
-
do {
nextPosition = StringRoutines.indexOfCharacters(aText, aCharactersToReplace, position);