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