JDK5-compatible IOException constructor