aa = automaton_provider.getAutomaton(s); } catch (IOException e) { throw new IllegalArgumentException(e);
aa = automaton_provider.getAutomaton(s); } catch (IOException e) { throw new IllegalArgumentException(e);
aa = automaton_provider.getAutomaton(s); } catch (IOException e) { throw new IllegalArgumentException(e);
aa = automaton_provider.getAutomaton(s); } catch (IOException e) { throw new IllegalArgumentException(e);