Fixed little bug with Judge_machine (no whitecharacters at end of config file)