Workspace of org.overture.ide.parsers.vdmj on master

	META-INF
	src
	target
	build.properties	Aug 24, 2017 1:31:15 PM	167 B	view
	plugin.properties	Aug 24, 2017 1:31:15 PM	0 B	view
	plugin.xml	Aug 24, 2017 1:31:15 PM	936 B	view
	pom.xml	Oct 29, 2018 6:51:09 PM	651 B	view
	README.md	Aug 24, 2017 1:31:15 PM	143 B	view
(all files in zip)