type messagefile;

app (messagefile o) max(messagefile i) {
     java "MaxTemperature" @filename(i) stdout=@filename(o);
}
messagefile input <"1901">;
messagefile out <"out.txt">;
out = max(input);