19sep2013 : big jedit integration
19sep2013 : big jedit integration
19sep2013
19sep2013 Merge branch 'devel'

Conflicts:
	BerichtsheftApp/.classpath