public static SourceContextAttribute read(DataInputStream s) throws IOException {
public static SourceContextAttribute read(VersionedDataInputStream s) throws IOException {
		public static SourceContextAttribute read(DataInputStream s) throws IOException {			return new SourceContextAttribute(s.readUTF(), FileUtil.readIntArray(s));		}