| manifest.unexpected.token=Unexpected token |
| manifest.colon.expected=':' expected |
| manifest.whitespace.expected=Whitespace expected |
| manifest.header.expected=Header expected |
| |
| header.reference.invalid=Invalid reference |
| header.reference.unknown=Cannot resolve |
| header.main.class.invalid=Invalid main class |
| |
| inspection.group=Manifest |
| inspection.newline.message=Manifest file doesn't end with a final newline |
| inspection.newline.fix=Add newline |
| inspection.header.message=Header name is unknown or spelled incorrectly |
| inspection.header.fix=Change to ''{0}'' |