[LibGDX]Get points of rotated rectangle?

I have a rectangle like this:

http://s12.postimg.org/6snvkhuw9/square.png

I then rotate it by 45 degrees and want to calculate the coordinates of the four white points.

The x/y position of an entity is the top left corner, where x is increasing moving rightwards and y downwards.