Using Guice's Singleton annotation, does the class so annotated have to follow the Singleton design pattern?

My guess is that it does not: it is not necessary to have a private constructor, etc. but instead it is Guice that makes sure that only one instance of the class will be instantiated.