import java.util.*;
import java.io.*;

public class Util
{
    public static final Vector<String> readLines (String inputFile)
    {
        /*
         * Open the data file and read it in.
         */

        BufferedReader reader = null;
        Vector<String> values = new Vector<String>();

        try
        {
            reader = new BufferedReader(new FileReader(inputFile));
            String line = null;

            while ((line = reader.readLine()) != null)
            {
                values.add(line);
            }
        }
        catch (Throwable ex)
        {
            ex.printStackTrace();
        }
        finally
        {
            try
            {
                reader.close();
            }
            catch (Throwable ex)
            {
            }
        }

        return values;
    }
}
@@ -824,10 +824,218 @@
 s;%0A    %7D
+%0A%0A    public static final Vector%3CCoordinate%3E uniqueTiles (Vector%3CCoordinate%3E first, Vector%3CCoordinate%3E second)%0A    %7B%0A        Vector%3CCoordinate%3E unique = new Vector%3CCoordinate%3E();%0A%0A        return unique;%0A    %7D
 %0A%7D

Update Util.java