/**
 * jconfig.txt
 * Configuration file for JadeIDE.
 */
disable(1022)


