Need instruction for adding "-Dfile.encoding=UTF-8" in $JBDS_HOME/studio/jbdevstudio.ini

Description of problem:
Need instruction for adding "-Dfile.encoding=UTF-8" in $JBDS_HOME/studio/jbdevstudio.ini. Because there is known issue which can avoid using file.encoding option:
https://access.redhat.com/solutions/911693
https://access.redhat.com/solutions/537533 (This is for BRMS 5.3.1)

Actual results:
There is no instruction about file.encoding option in "Installation Guide".

https://access.redhat.com/documentation/en-US/Red_Hat_JBoss_BPM_Suite/6.0/html-single/Installation_Guide/index.html#chap-Red_Hat_JBoss_Developer_Studio

Expected results:
There is an instruction about file.encoding option in "Installation Guide".