// Configuration script for https://www.eclipse.org/jdt/ui/scripts/jdtbugzilla.user.js
//
// To override configuration options, just assign new values to the variables
// that are defined at the beginning of the script. 

/* Examples (commented out):

ccs= [
"EX", "mail@example.com",
];

css+= ".cla_dec { opacity: 0.1; }";

*/