Sensors deleted.
js doc fixes
Merge branch 'origin/master'
d
Cherry picks of commits from old repository branch nashorn-master:
styling
Merge branch 'origin/nashorn-master'
forms styling
added selectColor for JS
Merge branch 'master' of http://research.office.altsoft.biz:8888/platypusjs
organized import in Application.java