Client: Html editor: Use jquery mobile 1.3; Android app: Improve start screen / favourites
Android app: classpath files