Class skeletons with spec comments
java.io
IOException.java