TinyMCE reformats source code even if configured not to do so

After other 3 hours... I discovered the problem!

It is a tinyMCE bug!

Description of problem:
I want to insert some Java code using tag.
It is important that breaklines and spaces are preserved as in the source.

Even if the remove_breaklines option is disabled and source formatting is
enabled, the tag is malformed:

INPUT:
<pre>

    row1
    row2

</pre>
OUTPUT (after save) is
<pre>
    row1
row2
</pre>

If you disabled source formating function, the result is

<pre>    row1<br />    row2<br /></pre>

Tags <br /> are not desirable!!!

I have read in the forum that a solution is to add a custom cleanup
function that remove <br />, but even this solution is not good because
the result would be:

<pre> row1   row2</pre>

because tinyMCE.formatHTML() changes anytime!

I believe that the instruction at line 5049 of file tiny_mce.js

h = h.replace(new RegExp('\\n\\s+', 'gi'), '\n'); // Remove previous
formatting

remove too much spaces (surely when these are inside an tag!)

I removed this instruction and now I have tags well formatted and
without any unwanted
tags.

In this way, I can use other plugings to colorize the java code inside
;-)