Added flexible service status + made JDK 1.7 the default (needed for Shark 0.9.0)