Actually this is a problem of the underlying font rendering engine of Java. With the given font size a dot just will not be displayed. Choosing a larger font size for the dots wouldn't work due to scaling issues with the surroundings. So the only possible solution would be to deactivate zoom factor 1 - which I'd prefer not to do.