+ Scanner s = new Scanner(getOutputs().get(0));
+ messageString = "";
+ try {
+ int st = s.nextInt();
+ s.useDelimiter(eol);
+ if (s.hasNext(rest))
+ messageString = s.next(rest);
+ return st;
+ }
+ catch (InputMismatchException e) { throw new NumberFormatException(); }
+ catch (NoSuchElementException e) { throw new NumberFormatException(); }