Adjusting Java settings to edit large text buffers