ID	Type	Status	Priority	Milestone	Owner		Summary + Labels	...
	1	Defect	Accepted	Low	----	amettler		Interface implementation minorly broken for enums
	2	Enhancement	Accepted	Low	----	amettler		Safej export feature for library class/package
	3	Task	Accepted	Low	----	amettler		improve code documentation
	4	Enhancement	Accepted	Low	----	amettler		Improve debugging/diagnostic output (use log file, configurable verbosity?)
	5	Enhancement	Accepted	Medium	----	amettler		Implicit Powerless, Equatable for enums
	6	Other	Accepted	Low	----	amettler		Determinism issue: non-strictfp floating point ops
	9	Other	Accepted	Low	----	amettler		Determinism issue: assertion enablement
	10	Other	Accepted	Low	----	amettler		Soundness issue: static initializer circularity
	11	Enhancement	Accepted	Low	----	amettler		Show Joe-E doc (not Javadoc) in Eclipse
	12	Enhancement	Accepted	Medium	----	amettler		Library marker interface
	13	Enhancement	Accepted	Low	----	amettler		Interactive verification
	14	Enhancement	Accepted	Medium	----	amettler		Annotation to treat instance method as part of constructor