}
}
public List<String> getImportLines(String line)
throws Exception
{
GritsFile gf;
GritsParser gp;
String ext_fname;
if(line.startsWith(symbols[17]))
{
ext_fname = line.replace(symbols[17], "");
gf = new GritsFile(ext_fname);
gp = new GritsParser(gf);
if(gf.exists())
{
try
{
lines = gf.getLines();
}
catch(NullPointerException e)
{
ge.throwGrits(0, line.replace(symbols[17], ""));
}