on linux with spring tool suit