// Path: lib/com/cowlark/luje/harmony/UCharacter.java
// public class UCharacter
// {
// 	public static String toLowerCase(Locale locale, String s)
// 	{
// 		char[] chars = s.toCharArray();
// 		for (int i = 0; i < chars.length; i++)
// 			chars[i] = Character.toLowerCase(chars[i]);
// 		return new String(chars);
// 	}
// }
// 
// Path: lib/com/cowlark/luje/harmony/VM.java
// public class VM
// {
// 	private static HashMap<String, String> _internSet = new HashMap<String, String>();
// 	
// 	public static synchronized String intern(String s)
// 	{
// 		String si = _internSet.get(s);
// 		if (si != null)
// 			return si;
// 		
// 		_internSet.put(s, s);
// 		return s;
// 	}
// 	
// 	public static void deleteOnExit()
// 	{}
// }


import java.io.Serializable;
import java.io.UnsupportedEncodingException;
import java.nio.ByteBuffer;
import java.nio.CharBuffer;
import java.nio.charset.Charset;
import java.nio.charset.IllegalCharsetNameException;
import java.nio.charset.UnsupportedCharsetException;
import java.util.Comparator;
import java.util.Locale;
import com.cowlark.luje.harmony.UCharacter;
import com.cowlark.luje.harmony.VM;
     * 
     * @return a character array containing the characters of this string.
     */
    public char[] toCharArray() {
        char[] buffer = new char[count];
        System.arraycopy(value, offset, buffer, 0, count);
        return buffer;
    }

    /**
     * Converts the characters in this string to lowercase, using the default
     * Locale.
     * 
     * @return a new string containing the lowercase characters equivalent to
     *         the characters in this string.
     */
    public String toLowerCase() {
        return toLowerCase(Locale.getDefault());
    }

    /**
     * Converts the characters in this string to lowercase, using the specified
     * Locale.
     * 
     * @param locale
     *            the Locale to use.
     * @return a new string containing the lowercase characters equivalent to
     *         the characters in this string.
     */
    public String toLowerCase(Locale locale) {
// Path: lib/com/cowlark/luje/harmony/UCharacter.java
// public class UCharacter
// {
// 	public static String toLowerCase(Locale locale, String s)
// 	{
// 		char[] chars = s.toCharArray();
// 		for (int i = 0; i < chars.length; i++)
// 			chars[i] = Character.toLowerCase(chars[i]);
// 		return new String(chars);
// 	}
// }
// 
// Path: lib/com/cowlark/luje/harmony/VM.java
// public class VM
// {
// 	private static HashMap<String, String> _internSet = new HashMap<String, String>();
// 	
// 	public static synchronized String intern(String s)
// 	{
// 		String si = _internSet.get(s);
// 		if (si != null)
// 			return si;
// 		
// 		_internSet.put(s, s);
// 		return s;
// 	}
// 	
// 	public static void deleteOnExit()
// 	{}
// }


// Path: lib/java/lang/String.java
import java.io.Serializable;
import java.io.UnsupportedEncodingException;
import java.nio.ByteBuffer;
import java.nio.CharBuffer;
import java.nio.charset.Charset;
import java.nio.charset.IllegalCharsetNameException;
import java.nio.charset.UnsupportedCharsetException;
import java.util.Comparator;
import java.util.Locale;
import com.cowlark.luje.harmony.UCharacter;
import com.cowlark.luje.harmony.VM;

     * 
     * @return a character array containing the characters of this string.
     */
    public char[] toCharArray() {
        char[] buffer = new char[count];
        System.arraycopy(value, offset, buffer, 0, count);
        return buffer;
    }

    /**
     * Converts the characters in this string to lowercase, using the default
     * Locale.
     * 
     * @return a new string containing the lowercase characters equivalent to
     *         the characters in this string.
     */
    public String toLowerCase() {
        return toLowerCase(Locale.getDefault());
    }

    /**
     * Converts the characters in this string to lowercase, using the specified
     * Locale.
     * 
     * @param locale
     *            the Locale to use.
     * @return a new string containing the lowercase characters equivalent to
     *         the characters in this string.
     */
    public String toLowerCase(Locale locale) {
        String result = UCharacter.toLowerCase(locale, this);