public List<IMaudeJob> createJobs (InputStream input) throws ParseException {
List<IMaudeJob> jobs = new ArrayList<IMaudeJob>();
if(isFullMaude())
try {
int inputChars = input.available();
FullMaudeCommandsParser p = new FullMaudeCommandsParser(
new FullMaudeCommandsLexer(input));
p.program();
BaseTermsJoinerTreeParser bt = new BaseTermsJoinerTreeParser();
List<String> commands = bt.program(p.getAST());
int charCounter=0;
for(String s : commands) {
jobs.add(new MaudeJob(s));
charCounter += s.length();
}