if (m_query.equals("Select * from Results0")) { text.append("\n\nDatabaseLoader options:\n"); Enumeration<Option> enumi = listOptions();
if (m_query.equals("Select * from Results0")) { text.append("\n\nDatabaseLoader options:\n"); Enumeration<Option> enumi = listOptions();