java-file-formats Different file format definitions for use with Java (Linear Executable, MZ Executable). Includes inline format specifications.