checkstyle configuration for LIMBO