apache/incubator-flink — pull request #138 by fatschi (2014-10-01 14:59:01+00:00)
Title: Flink 1134

fix for https://issues.apache.org/jira/browse/FLINK-1134