Android app for GraphStream