This is a control file for Java system preferences