Stack overflow bug fixes
Merge branch 'master' of https://github.com/prShadoko/IGP_OFTP

Conflicts:
	src/oftp/automaton/OftpAutomaton.java