if (table == null)
return Collections.<String>emptyList();
- Map<String, Map<String, String>> data = graph.syncRequest(new TechTypeTableData(table), TransientCacheListener.instance());
+ Map<String, Map<String, String>> data = graph.syncRequest(new TechTypeTableData(table, true), TransientCacheListener.instance());
ArrayList<String> result = new ArrayList<String>(data.keySet());
// Sort so that all numbers are in growing order