docs: def _parse_texlipse_config(self):
          '''
          Read the project name from the texlipse
          config file ".texlipse".
          '''
          # If Eclipse's workspace refresh, the
          # ".texlipse"-File will be newly created,
          # so try again after short sleep if
          # the file is still missing.
          if not os.path.isfile('.texlipse'):
              time.sleep(0.1)
              if not os.path.isfile('.texlipse'):
                  self.log.error('! Fatal error: File .texlipse is missing.')
                  self.log.error('! Exiting...')
                  sys.exit(1)
  
          with open('.texlipse') as fobj:
              content = fobj.read()
          match = TEXLIPSE_MAIN_PATTERN.search(content)
          if match:
              project_name = match.groups()[0]
              self.log.info('Found inputfile in ".texlipse": %s.tex'
                            % project_name)
              return project_name
          else:
              self.log.error('! Fatal error: Parsing .texlipse failed.')
              self.log.error('! Exiting...')
              sys.exit(1)