Christian d1d12e4ebd Fix up coremods with relaunch, add in a sample "coremod"		2012-07-30 11:34:30 -04:00
..
org.eclipse.jdt.core.prefs	Fix up coremods with relaunch, add in a sample "coremod"	2012-07-30 11:34:30 -04:00