require default java to be java 7 for seafile pro server