{
	"version": 3,
	"file": "JavaVersion.js",
	"sourceRoot": "",
	"sources": ["../src/n4js/JavaVersion.n4js"],
	"names": [],
	"mappings": ";;;AAYA,OAAY;AACZ,OAAY;AACZ,OAAY;AACZ,QAAQ;;AAER,MAAM,wBAAwB;AAC9B,MAAM,mBAAmB,aAAa,eAAe,wBAAwB;AAC7E,MAAM,kBAAkB,aAAa,eAAe,wBAAwB;AAM5E,OAAuB,6BAA0B;CAC7C,IAAI,CAAC,cAAc;EACf,MAAM,cAAc,uBAAuB,SAAS;GAAC;;EACrD,IAAI;GACA,MAAM;;;CAKd,MAAM,UAAU,uBAAuB,QAAQ;EAAC;;CAChD,IAAI;EACA,MAAM;;CAEV,IAAI,kBAAkB;EAClB,MAAM;;CAIV,MAAM,iBAAiB;CACvB,IAAI,CAAC;EACD,MAAM,6BAA6B;;CAGvC,MAAM,UAAU,SAAS;CACzB,IAAI,CAAC;EACD,MAAM,0BAA0B;;CAGpC,OAAO"
}