General settings

Contents:

		General settings
		Configuring JVMs in general settings
		Configuring filter sets in general settings
		Configuring the default java file path in general settings
		IDE integrations
		Configuring miscellaneous options in general settings