Uso de Intellij + Maven para importar bibliotecas: no se puede resolver el símbolo

Importé una biblioteca (JBox2D) usando Maven en IntelliJ 13, para usar en un proyecto de Android. Maven no me dio ningún mensaje de error, por lo que supongo que la biblioteca se importó correctamente.

Sin embargo, tan pronto como intento usar una clase de la biblioteca, aparece "No se puede resolver el símbolo". IntelliJ no ofrece la opción de agregar una declaración de importación, como lo hace normalmente.

¿Cómo debo proceder?

Respuestas a la pregunta(1)

Su respuesta a la pregunta