public synchronized void freeUpDiskSpace() throws SQLException { long sizeAvailable = 0; if (emergencyReserve != null) { sizeAvailable = emergencyReserve.length(); long newLength = sizeAvailable / 4; if (newLength < SysProperties.EMERGENCY_SPACE_MIN) { newLength = 0; noDiskSpace = true; } emergencyReserve.setLength(newLength); } if (eventListener != null) { eventListener.diskSpaceIsLow(sizeAvailable); } }