How to filter emails from GitHub in Gmail and flag them with labels.
The labels in this document are just examples.
Filter | Label |
---|
import static org.apache.catalina.Lifecycle.*; | |
import static org.apache.catalina.LifecycleState.*; | |
import org.apache.catalina.*; | |
import org.apache.catalina.connector.Connector; | |
import org.apache.catalina.startup.Tomcat; | |
// ... | |
tomcat.getServer().addLifecycleListener(new LifecycleListener() { | |
@Override | |
public void lifecycleEvent(final LifecycleEvent event) { |